I used it a little bit last night, and couldn't notice any differences. --lcp
> On 17 Apr 2014, at 14:59, Makarius <makar...@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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
