NEWS
changeset 50406 c28753665b8e
parent 50232 289a34f9c383
child 50455 c7f366a861ed
     1.1 --- a/NEWS	Thu Dec 06 21:16:46 2012 +0100
     1.2 +++ b/NEWS	Thu Dec 06 21:46:20 2012 +0100
     1.3 @@ -91,6 +91,11 @@
     1.4  adjust the main text area font size, and its derivatives for output,
     1.5  tooltips etc.  Cf. keyboard shortcuts C-PLUS and C-MINUS.
     1.6  
     1.7 +* Implicit check and build dialog of the specified logic session
     1.8 +image.  For example, HOL, HOLCF, HOL-Nominal can be produced on
     1.9 +demand, without bundling big platform-dependent heap images in the
    1.10 +Isabelle distribution.
    1.11 +
    1.12  * Uniform Java 7 platform on Linux, Mac OS X, Windows: recent updates
    1.13  from Oracle provide better multi-platform experience.  This version is
    1.14  now bundled exclusively with Isabelle.