changeset 31308 | 3fd52453ae81 |
parent 31306 | a74ee84288a0 |
child 31317 | 1f5740424c69 |
1.1 --- a/NEWS Sat May 30 22:37:38 2009 +0200 1.2 +++ b/NEWS Sun May 31 14:15:07 2009 +0200 1.3 @@ -33,6 +33,11 @@ 1.4 Attrib/Method.setup introduced in Isabelle2009. 1.5 1.6 1.7 +*** System *** 1.8 + 1.9 +* Discontinued support for Poly/ML 4.x versions. 1.10 + 1.11 + 1.12 1.13 New in Isabelle2009 (April 2009) 1.14 --------------------------------