| changeset 41734 | d92cc39097e6 |
| parent 41728 | 2837df4d1c7a |
| child 41792 | ff3cb0c418b7 |
--- a/NEWS Tue Feb 08 21:06:03 2011 +0100 +++ b/NEWS Tue Feb 08 21:12:27 2011 +0100 @@ -13,6 +13,9 @@ * Discontinued support for Poly/ML 5.2, which was the last version without proper multithreading and TimeLimit implementation. +* Discontinued old lib/scripts/polyml-platform, which has been +obsolete since Isabelle2009-2. + *** HOL ***