# HG changeset patch
# User wenzelm
# Date 1452640363 -3600
# Node ID adcaaf6c99104159515453058ab299ca5a3b217d
# Parent  7355fd313cf85ce8a1eb59e9ee43750cc34d0341
more good NEWS;

diff -r 7355fd313cf8 -r adcaaf6c9910 NEWS
--- a/NEWS	Tue Jan 12 23:40:33 2016 +0100
+++ b/NEWS	Wed Jan 13 00:12:43 2016 +0100
@@ -9,6 +9,9 @@
 
 *** General ***
 
+* Better resource usage on all platforms (Linux, Windows, Mac OS X) for
+both Isabelle/ML and Isabelle/Scala.  Slightly reduced heap space usage.
+
 * Former "xsymbols" syntax with Isabelle symbols is used by default,
 without any special print mode. Important ASCII replacement syntax
 remains available under print mode "ASCII", but less important syntax
@@ -47,6 +50,9 @@
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
+* Update to jedit-5.3.0, with improved GUI scaling and support of
+high-resolution displays (e.g. 4K).
+
 * IDE support for the source-level debugger of Poly/ML, to work with
 Isabelle/ML and official Standard ML. Configuration option "ML_debugger"
 and commands 'ML_file_debug', 'ML_file_no_debug', 'SML_file_debug',
@@ -111,9 +117,6 @@
 * The main Isabelle executable is managed as single-instance Desktop
 application uniformly on all platforms: Linux, Windows, Mac OS X.
 
-* Update to jedit-5.3.0, with improved GUI scaling and support of
-high-resolution displays (e.g. 4K).
-
 
 *** Document preparation ***
 
@@ -802,9 +805,6 @@
 * Bash shell function "jvmpath" has been renamed to "platform_path": it
 is relevant both for Poly/ML and JVM processes.
 
-* Heap images are 10-15% smaller due to less wasteful persistent theory
-content (using ML type theory_id instead of theory);
-
 * Poly/ML default platform architecture may be changed from 32bit to
 64bit via system option ML_system_64. A system restart (and rebuild)
 is required after change.
@@ -812,6 +812,9 @@
 * Poly/ML 5.6 runs natively on x86-windows and x86_64-windows, which
 both allow larger heap space than former x86-cygwin.
 
+* Heap images are 10-15% smaller due to less wasteful persistent theory
+content (using ML type theory_id instead of theory);
+
 
 
 New in Isabelle2015 (May 2015)