*** System ***
* Java runtime environment for x86_64-windows allows to use larger heap
space.
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):
http://www.oracle.com/technetwork/java/javase/2col/8u60-bugfixes-2620228.html
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev