NEWS
changeset 47979 59ec72d3d0b9
parent 47967 c422128d3889
child 48013 44de84112a67
     1.1 --- a/NEWS	Thu May 24 14:46:14 2012 +0200
     1.2 +++ b/NEWS	Thu May 24 15:01:17 2012 +0200
     1.3 @@ -10,6 +10,13 @@
     1.4  is called fastforce / fast_force_tac already since Isabelle2011-1.
     1.5  
     1.6  
     1.7 +*** System ***
     1.8 +
     1.9 +* Discontinued support for Poly/ML 5.2.1, which was the last version
    1.10 +without exception positions and advanced ML compiler/toplevel
    1.11 +configuration.
    1.12 +
    1.13 +
    1.14  
    1.15  New in Isabelle2012 (May 2012)
    1.16  ------------------------------