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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
