NEWS
changeset 38470 484e483eb606
parent 38461 75fc4087764e
child 38559 befdd6833ec0
     1.1 --- a/NEWS	Tue Aug 17 18:04:08 2010 +0200
     1.2 +++ b/NEWS	Tue Aug 17 18:41:55 2010 +0200
     1.3 @@ -139,6 +139,11 @@
     1.4  change in semantics.
     1.5  
     1.6  
     1.7 +*** System ***
     1.8 +
     1.9 +* Discontinued support for Poly/ML 5.0 and 5.1 versions.
    1.10 +
    1.11 +
    1.12  
    1.13  New in Isabelle2009-2 (June 2010)
    1.14  ---------------------------------