[isabelle-dev] Java 7 update 6

Makarius makarius at sketis.net
Thu Aug 16 19:56:59 CEST 2012

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.

We have more and more the situation of "no serviceable parts inside 
Isabelle", which means that the fully integrated system has become so 
complex that users cannot do much maintenance themselves.


More information about the isabelle-dev mailing list