[isabelle-dev] jdk-8u5

Lawrence Paulson lp15 at cam.ac.uk
Thu Apr 17 16:17:01 CEST 2014

I used it a little bit last night, and couldn't notice any differences.


> On 17 Apr 2014, at 14:59, Makarius <makarius at sketis.net> wrote:
>> 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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list