NEWS
changeset 61567 e7d4dac7a79f
parent 61566 c3d6e570ccef
child 61571 9c50eb3bff50
--- a/NEWS	Wed Nov 04 08:13:52 2015 +0100
+++ b/NEWS	Wed Nov 04 11:53:22 2015 +0100
@@ -575,6 +575,9 @@
 * 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);
+
 
 
 New in Isabelle2015 (May 2015)