[isabelle-dev] jdk-8u5

Makarius makarius at sketis.net
Thu Apr 17 15:59:05 CEST 2014

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: 

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.


More information about the isabelle-dev mailing list