NEWS
changeset 48585 a82910dd2270
parent 48574 4af9f3122138
child 48586 500c6eb6c6dc
     1.1 --- a/NEWS	Sat Jul 28 20:07:21 2012 +0200
     1.2 +++ b/NEWS	Sat Jul 28 20:12:47 2012 +0200
     1.3 @@ -68,6 +68,11 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* Advanced support for Isabelle sessions and build management, see
     1.8 +"system" manual for the chapter of that name, especially the "isabelle
     1.9 +build" tool and its examples.  Eventual INCOMPATIBILITY, as isabelle
    1.10 +usedir / make / makeall are rendered obsolete.
    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.