--- a/NEWS Sat Jul 28 20:12:47 2012 +0200
+++ b/NEWS Sat Jul 28 20:18:15 2012 +0200
@@ -73,6 +73,11 @@
build" tool and its examples. Eventual INCOMPATIBILITY, as isabelle
usedir / make / makeall are rendered obsolete.
+* Discontinued obsolete Isabelle/build script, it is superseded by the
+regular isabelle build tool. For example:
+
+ isabelle build -s -b HOLCF
+
* Discontinued support for Poly/ML 5.2.1, which was the last version
without exception positions and advanced ML compiler/toplevel
configuration.