NEWS
changeset 48586 500c6eb6c6dc
parent 48585 a82910dd2270
child 48616 be8002ee43d8
     1.1 --- a/NEWS	Sat Jul 28 20:12:47 2012 +0200
     1.2 +++ b/NEWS	Sat Jul 28 20:18:15 2012 +0200
     1.3 @@ -73,6 +73,11 @@
     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 Isabelle/build script, it is superseded by the
     1.8 +regular isabelle build tool.  For example:
     1.9 +
    1.10 +  isabelle build -s -b HOLCF
    1.11 +
    1.12  * Discontinued support for Poly/ML 5.2.1, which was the last version
    1.13  without exception positions and advanced ML compiler/toplevel
    1.14  configuration.