[isabelle-dev] Java 7 update 6

Makarius makarius at sketis.net
Thu Aug 16 20:15:01 CEST 2012


On Thu, 16 Aug 2012, Makarius wrote:

> On Thu, 16 Aug 2012, Lawrence Paulson wrote:
>
>> That is indeed good news. Would it be appropriate to advise users to 
>> upgrade, is there are no immediate need?
>
> They can't.  It requires a number of subtle changes in other components. In 
> the past few weeks I've worked towards that on the isabelle repository, such 
> that today the change looked mostly trivial.

One more thing: A "latest version" always involves some follow-up work to 
iron out new issues -- days, weeks, months.  We shall see.

For example: TAB completion in jEdit/Sidekick used to work by pure 
accident on Linux so far, but not on Windows or Mac OS X.  Now everybody 
is equal again.

If any of the early adopters and testers on this list can tell me how to 
deal with it, I will be very grateful.  (The jEdit guys might have found a 
solution on their 5.0pre1 development branch in the meantime, while we are 
on 4.5.2 official/stable.)


 	Makarius



More information about the isabelle-dev mailing list