NEWS
changeset 51056 fbcc2d314635
parent 51050 7d0c5799e16c
child 51063 3544f5eb1ee6
     1.1 --- a/NEWS	Sat Jan 26 13:43:37 2013 +0100
     1.2 +++ b/NEWS	Sat Jan 26 13:49:48 2013 +0100
     1.3 @@ -428,9 +428,17 @@
     1.4  
     1.5  * Advanced support for Isabelle sessions and build management, see
     1.6  "system" manual for the chapter of that name, especially the "isabelle
     1.7 -build" tool and its examples.  INCOMPATIBILITY, isabelle usedir /
     1.8 +build" tool and its examples.  The "isabelle mkroot" tool prepares
     1.9 +session root directories for use with "isabelle build", similar to
    1.10 +former "isabelle mkdir" for "isabelle usedir".  Note that this affects
    1.11 +document preparation as well.  INCOMPATIBILITY, isabelle usedir /
    1.12  mkdir / make are rendered obsolete.
    1.13  
    1.14 +* Discontinued obsolete Isabelle/build script, it is superseded by the
    1.15 +regular isabelle build tool.  For example:
    1.16 +
    1.17 +  isabelle build -s -b HOL
    1.18 +
    1.19  * Discontinued obsolete "isabelle makeall".
    1.20  
    1.21  * Discontinued obsolete IsaMakefile and ROOT.ML files from the
    1.22 @@ -439,18 +447,9 @@
    1.23  that this is inefficient!  Applications of Isabelle/HOL involving
    1.24  "isabelle make" should be upgraded to use "isabelle build" directly.
    1.25  
    1.26 -* Discontinued obsolete Isabelle/build script, it is superseded by the
    1.27 -regular isabelle build tool.  For example:
    1.28 -
    1.29 -  isabelle build -s -b HOLCF
    1.30 -
    1.31  * The "isabelle options" tool prints Isabelle system options, as
    1.32  required for "isabelle build", for example.
    1.33  
    1.34 -* The "isabelle mkroot" tool prepares session root directories for use
    1.35 -with "isabelle build", similar to former "isabelle mkdir" for
    1.36 -"isabelle usedir".
    1.37 -
    1.38  * The "isabelle logo" tool produces EPS and PDF format simultaneously.
    1.39  Minor INCOMPATIBILITY in command-line options.
    1.40