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