NEWS
changeset 61567 e7d4dac7a79f
parent 61566 c3d6e570ccef
child 61571 9c50eb3bff50
equal deleted inserted replaced
61566:c3d6e570ccef 61567:e7d4dac7a79f
   572   - isabelle build: settings
   572   - isabelle build: settings
   573     ISABELLE_BUILD_JAVA_OPTIONS32 vs. ISABELLE_BUILD_JAVA_OPTIONS64
   573     ISABELLE_BUILD_JAVA_OPTIONS32 vs. ISABELLE_BUILD_JAVA_OPTIONS64
   574 
   574 
   575 * Bash shell function "jvmpath" has been renamed to "platform_path": it
   575 * Bash shell function "jvmpath" has been renamed to "platform_path": it
   576 is relevant both for Poly/ML and JVM processes.
   576 is relevant both for Poly/ML and JVM processes.
       
   577 
       
   578 * Heap images are 10-15% smaller due to less wasteful persistent theory
       
   579 content (using ML type theory_id instead of theory);
   577 
   580 
   578 
   581 
   579 
   582 
   580 New in Isabelle2015 (May 2015)
   583 New in Isabelle2015 (May 2015)
   581 ------------------------------
   584 ------------------------------