changeset 70105 eadd87383e30
parent 70082 4f936de6d9b8
child 70106 55220f2d09d2
--- a/NEWS	Wed Apr 10 14:43:29 2019 +0200
+++ b/NEWS	Wed Apr 10 15:10:43 2019 +0200
@@ -90,6 +90,16 @@
 storage directory for "isabelle build". Option "-n" is now clearly
 separated from option "-s".
+* The Isabelle/jEdit desktop application uses the same options as
+"isabelle jedit" for its internal "isabelle build" process: the implicit
+option "-o system_heaps" (or "-s") has been discontinued. This reduces
+the potential for surprise wrt. command-line tools.
+* The official download of the Isabelle/jEdit application already
+contains heap images for Isabelle/HOL within its main directory: thus
+the first encounter becomes faster and more robust (e.g. when run from a
+read-only directory).
 * Isabelle DejaVu fonts are available with hinting by default, which is
 relevant for low-resolution displays. This may be disabled via system
 option "isabelle_fonts_hinted = false" in