NEWS
changeset 61567 e7d4dac7a79f
parent 61566 c3d6e570ccef
child 61571 9c50eb3bff50
     1.1 --- a/NEWS	Wed Nov 04 08:13:52 2015 +0100
     1.2 +++ b/NEWS	Wed Nov 04 11:53:22 2015 +0100
     1.3 @@ -575,6 +575,9 @@
     1.4  * Bash shell function "jvmpath" has been renamed to "platform_path": it
     1.5  is relevant both for Poly/ML and JVM processes.
     1.6  
     1.7 +* Heap images are 10-15% smaller due to less wasteful persistent theory
     1.8 +content (using ML type theory_id instead of theory);
     1.9 +
    1.10  
    1.11  
    1.12  New in Isabelle2015 (May 2015)