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