NEWS
changeset 48722 a5e3ba7cbb2a
parent 48693 ceeea46bdeba
child 48736 292b97e17fb7
--- a/NEWS	Tue Aug 07 23:38:18 2012 +0200
+++ b/NEWS	Tue Aug 07 23:43:05 2012 +0200
@@ -80,6 +80,12 @@
 build" tool and its examples.  Eventual INCOMPATIBILITY, as isabelle
 usedir / make / makeall are rendered obsolete.
 
+* Discontinued obsolete IsaMakefile and ROOT.ML files from the
+Isabelle distribution, except for rudimentary src/HOL/IsaMakefile that
+provides some traditional targets that invoke "isabelle build".  Note
+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: