[isabelle-dev] jdk-7u40

[Gerwin Klein]

On 14/09/2013, at 6:50 AM, Makarius <makarius at sketis.net>
 wrote:
> 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 ;-)

Cheers,
Gerwin

________________________________

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.