changeset 70106 55220f2d09d2
parent 70088 187ae5cb2f03
parent 70105 eadd87383e30
child 70121 61e26527480e
child 70125 b601c2c87076
--- a/NEWS	Tue Apr 09 21:05:48 2019 +0100
+++ b/NEWS	Wed Apr 10 15:45:16 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