more good NEWS;
authorwenzelm
Wed Jan 13 00:12:43 2016 +0100 (2016-01-13)
changeset 62157adcaaf6c9910
parent 62156 7355fd313cf8
child 62158 c25c62055180
child 62160 ff20b44b2fc8
more good NEWS;
NEWS
     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)