NEWS
changeset 48736 292b97e17fb7
parent 48722 a5e3ba7cbb2a
child 48792 4aa5b965f70e
     1.1 --- a/NEWS	Fri Jul 27 20:54:01 2012 +0200
     1.2 +++ b/NEWS	Wed Aug 08 14:45:40 2012 +0200
     1.3 @@ -77,8 +77,10 @@
     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.  Eventual INCOMPATIBILITY, as isabelle
     1.8 -usedir / make / makeall are rendered obsolete.
     1.9 +build" tool and its examples.  INCOMPATIBILITY, isabelle usedir /
    1.10 +mkdir / make are rendered obsolete.
    1.11 +
    1.12 +* Discontinued obsolete "isabelle makeall".
    1.13  
    1.14  * Discontinued obsolete IsaMakefile and ROOT.ML files from the
    1.15  Isabelle distribution, except for rudimentary src/HOL/IsaMakefile that