NEWS
changeset 50132 180d086c30dd
parent 50126 3dec88149176
child 50138 ca989d793b34
     1.1 --- a/NEWS	Tue Nov 20 14:55:52 2012 +0100
     1.2 +++ b/NEWS	Tue Nov 20 15:18:11 2012 +0100
     1.3 @@ -308,6 +308,9 @@
     1.4  that are not bundled, or referenced from a bare-bones repository
     1.5  version of Isabelle.
     1.6  
     1.7 +* The "isabelle install" tool has now a simpler command-line.  Minor
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  * Discontinued support for Poly/ML 5.2.1, which was the last version
    1.11  without exception positions and advanced ML compiler/toplevel
    1.12  configuration.