NEWS
changeset 48722 a5e3ba7cbb2a
parent 48693 ceeea46bdeba
child 48736 292b97e17fb7
     1.1 --- a/NEWS	Tue Aug 07 23:38:18 2012 +0200
     1.2 +++ b/NEWS	Tue Aug 07 23:43:05 2012 +0200
     1.3 @@ -80,6 +80,12 @@
     1.4  build" tool and its examples.  Eventual INCOMPATIBILITY, as isabelle
     1.5  usedir / make / makeall are rendered obsolete.
     1.6  
     1.7 +* Discontinued obsolete IsaMakefile and ROOT.ML files from the
     1.8 +Isabelle distribution, except for rudimentary src/HOL/IsaMakefile that
     1.9 +provides some traditional targets that invoke "isabelle build".  Note
    1.10 +that this is inefficient!  Applications of Isabelle/HOL involving
    1.11 +"isabelle make" should be upgraded to use "isabelle build" directly.
    1.12 +
    1.13  * Discontinued obsolete Isabelle/build script, it is superseded by the
    1.14  regular isabelle build tool.  For example:
    1.15