[isabelle-dev] Java 7 update 6
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.)
More information about the isabelle-dev