1.1 --- a/NEWS	Tue Feb 08 21:06:03 2011 +0100
     1.2 +++ b/NEWS	Tue Feb 08 21:12:27 2011 +0100
     1.3 @@ -13,6 +13,9 @@
     1.4  * Discontinued support for Poly/ML 5.2, which was the last version
     1.5  without proper multithreading and TimeLimit implementation.
     1.6  
     1.7 +* Discontinued old lib/scripts/polyml-platform, which has been
     1.8 +obsolete since Isabelle2009-2.
     1.9 +
    1.10  
    1.11  *** HOL ***
    1.12  

     2.1 --- a/lib/scripts/polyml-platform	Tue Feb 08 21:06:03 2011 +0100
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,4 +0,0 @@
     2.4 -#!/usr/bin/env bash
     2.5 -
     2.6 -echo "### Legacy feature: polyml-platform script is superseded by ISABELLE_PLATFORM" >&2
     2.7 -echo "$ISABELLE_PLATFORM"