On Wed, 16 Apr 2014, Makarius wrote:
Since the jdk-8 "zero" release from a few weeks ago work generally well
on all platforms, I have now updated the Isabelle component to follow
Oracle: see Isabelle/ab7c656215f2.
Here is also a full integration test of that totally arbitrary Isabelle
repository version for all platforms:
http://www4.in.tum.de/~wenzelm/test/Isabelle_16-Apr-2014
It might be worth testing how Oracle now copes with the ever multiplying
forks of Linux desktop environments.
Any observations should be posted here, and not kept secret.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
