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