# HG changeset patch
# User wenzelm
# Date 1359204588 -3600
# Node ID fbcc2d31463526c586b2a1ca11d7ddea2fb5da80
# Parent  5c4be88f8747d95defc60b9523c1286b37ef2de5
clarified NEWS on isabelle build and mkroot;

diff -r 5c4be88f8747 -r fbcc2d314635 NEWS
--- a/NEWS	Sat Jan 26 13:43:37 2013 +0100
+++ b/NEWS	Sat Jan 26 13:49:48 2013 +0100
@@ -428,9 +428,17 @@
 
 * Advanced support for Isabelle sessions and build management, see
 "system" manual for the chapter of that name, especially the "isabelle
-build" tool and its examples.  INCOMPATIBILITY, isabelle usedir /
+build" tool and its examples.  The "isabelle mkroot" tool prepares
+session root directories for use with "isabelle build", similar to
+former "isabelle mkdir" for "isabelle usedir".  Note that this affects
+document preparation as well.  INCOMPATIBILITY, isabelle usedir /
 mkdir / make are rendered obsolete.
 
+* Discontinued obsolete Isabelle/build script, it is superseded by the
+regular isabelle build tool.  For example:
+
+  isabelle build -s -b HOL
+
 * Discontinued obsolete "isabelle makeall".
 
 * Discontinued obsolete IsaMakefile and ROOT.ML files from the
@@ -439,18 +447,9 @@
 that this is inefficient!  Applications of Isabelle/HOL involving
 "isabelle make" should be upgraded to use "isabelle build" directly.
 
-* Discontinued obsolete Isabelle/build script, it is superseded by the
-regular isabelle build tool.  For example:
-
-  isabelle build -s -b HOLCF
-
 * The "isabelle options" tool prints Isabelle system options, as
 required for "isabelle build", for example.
 
-* The "isabelle mkroot" tool prepares session root directories for use
-with "isabelle build", similar to former "isabelle mkdir" for
-"isabelle usedir".
-
 * The "isabelle logo" tool produces EPS and PDF format simultaneously.
 Minor INCOMPATIBILITY in command-line options.