NEWS
changeset 62157 adcaaf6c9910
parent 62118 e60f1a925b4d
child 62159 56d35d0fda5b
     1.1 --- a/NEWS	Tue Jan 12 23:40:33 2016 +0100
     1.2 +++ b/NEWS	Wed Jan 13 00:12:43 2016 +0100
     1.3 @@ -9,6 +9,9 @@
     1.4  
     1.5  *** General ***
     1.6  
     1.7 +* Better resource usage on all platforms (Linux, Windows, Mac OS X) for
     1.8 +both Isabelle/ML and Isabelle/Scala.  Slightly reduced heap space usage.
     1.9 +
    1.10  * Former "xsymbols" syntax with Isabelle symbols is used by default,
    1.11  without any special print mode. Important ASCII replacement syntax
    1.12  remains available under print mode "ASCII", but less important syntax
    1.13 @@ -47,6 +50,9 @@
    1.14  
    1.15  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.16  
    1.17 +* Update to jedit-5.3.0, with improved GUI scaling and support of
    1.18 +high-resolution displays (e.g. 4K).
    1.19 +
    1.20  * IDE support for the source-level debugger of Poly/ML, to work with
    1.21  Isabelle/ML and official Standard ML. Configuration option "ML_debugger"
    1.22  and commands 'ML_file_debug', 'ML_file_no_debug', 'SML_file_debug',
    1.23 @@ -111,9 +117,6 @@
    1.24  * The main Isabelle executable is managed as single-instance Desktop
    1.25  application uniformly on all platforms: Linux, Windows, Mac OS X.
    1.26  
    1.27 -* Update to jedit-5.3.0, with improved GUI scaling and support of
    1.28 -high-resolution displays (e.g. 4K).
    1.29 -
    1.30  
    1.31  *** Document preparation ***
    1.32  
    1.33 @@ -802,9 +805,6 @@
    1.34  * Bash shell function "jvmpath" has been renamed to "platform_path": it
    1.35  is relevant both for Poly/ML and JVM processes.
    1.36  
    1.37 -* Heap images are 10-15% smaller due to less wasteful persistent theory
    1.38 -content (using ML type theory_id instead of theory);
    1.39 -
    1.40  * Poly/ML default platform architecture may be changed from 32bit to
    1.41  64bit via system option ML_system_64. A system restart (and rebuild)
    1.42  is required after change.
    1.43 @@ -812,6 +812,9 @@
    1.44  * Poly/ML 5.6 runs natively on x86-windows and x86_64-windows, which
    1.45  both allow larger heap space than former x86-cygwin.
    1.46  
    1.47 +* Heap images are 10-15% smaller due to less wasteful persistent theory
    1.48 +content (using ML type theory_id instead of theory);
    1.49 +
    1.50  
    1.51  
    1.52  New in Isabelle2015 (May 2015)