[isabelle-dev] jdk-8u5

[Makarius]

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