[isabelle-dev] jdk-7u40

Gerwin Klein Gerwin.Klein at nicta.com.au
Sat Sep 14 03:15:11 CEST 2013

On 14/09/2013, at 6:50 AM, Makarius <makarius at sketis.net>
> For example, they say that Apple Retina displays are now fully supported. Can people who are so lucky to have one test that, and say if it works, or if it requires further Java properties?  The "isabelle jedit" tool allows to pass JVM options as argument to its -J option.

Looks very nice out of the box. Retina fonts are working. Never seen Isabelle symbols that sharp ;-)



The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

More information about the isabelle-dev mailing list