Re: [isabelle] Isabelle2014-RC0 available for testing



On 7 Jul 2014, at 1:36 pm, Makarius <makarius at sketis.net> wrote:

> On Mon, 7 Jul 2014, Gerwin Klein wrote:
>
>>
>> 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.
>
> That is exactly the same version.  I guess that you have run Isabelle2014-RC0 via the .app launcher, but the repository version via the command-line "isabelle jedit”.

Correct. I just tried the command line for 2014-RC0 and that does come up fine with retina fonts, so it indeed seems to be something about the launcher.


> Can you try the launcher of jedit 5.2pre1 from http://www.jedit.org/ which is the one of Java 7 JFX, instead of the old Java one?

Ok, happy to have a look. This might take a bit, I don’t have a good internet connection at the moment.

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.