[isabelle-dev] NEWS: updated to jdk-8u60, with support for x86_64-windows

Makarius makarius at sketis.net
Fri Aug 21 23:40:02 CEST 2015

*** System ***

* Java runtime environment for x86_64-windows allows to use larger heap 

This refers e.g. to Isabelle/0b9d8af73270.

I have also changed the app bundling to produce a separate Windows 64bit 
application, e.g. see 
http://www4.in.tum.de/~wenzelm/test/Isabelle_21-Aug-2015 -- only the JDK 
is affected.

jdk-8u60 might be interesting in its own right: Oracle has produced tons 
of changes (hopefully improvements): 


More information about the isabelle-dev mailing list