[isabelle-dev] Java 7 update 6
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