Re: [isabelle] Isabelle2014-RC0 available for testing



On 7 Jul 2014, at 12:59 pm, Gerwin Klein <Gerwin.Klein at nicta.com.au> wrote:
> - on my laptop, Isabelle 2014-RC0/jedit comes up with non-retina fonts, whereas 2013-2 does (different java version I guess)

Further to that, current isabelle development at b8448367f9c7 with jdk-7u60 does come up fine with retina fonts.

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.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.