NEWS
changeset 66906 03a96b8c7c06
parent 66851 c75769065548
child 66909 9eaa9504991b
     1.1 --- a/NEWS	Mon Oct 23 14:12:09 2017 +0200
     1.2 +++ b/NEWS	Mon Oct 23 19:30:39 2017 +0200
     1.3 @@ -69,6 +69,10 @@
     1.4  * Windows and Cygwin is for x86_64 only. Old 32bit platform support has
     1.5  been discontinued.
     1.6  
     1.7 +* Java runtime is for x86_64 only. Corresponding Isabelle settings have
     1.8 +been renamed to ISABELLE_TOOL_JAVA_OPTIONS and JEDIT_JAVA_OPTIONS,
     1.9 +instead of former 32/64 variants. INCOMPATIBILITY.
    1.10 +
    1.11  * Command-line tool "isabelle build" supports new options:
    1.12    - option -B NAME: include session NAME and all descendants
    1.13    - option -S: only observe changes of sources, not heap images