| changeset 60995 | 5176de8f90db |
| parent 60986 | 077f663b6c24 |
| child 61029 | b09461b3bc05 |
--- a/NEWS Fri Aug 21 15:02:42 2015 +0200 +++ b/NEWS Fri Aug 21 16:47:57 2015 +0200 @@ -300,6 +300,9 @@ * Poly/ML 5.5.3 runs natively on x86-windows, with somewhat larger heap space than former x86-cygwin. +* Java runtime environment for x86_64-windows allows to use larger heap +space. + New in Isabelle2015 (May 2015)