tuned;

--- a/src/Pure/ML-Systems/polyml-4.1.4-patch.ML	Mon Nov 14 13:59:58 2005 +0100
+++ b/src/Pure/ML-Systems/polyml-4.1.4-patch.ML	Mon Nov 14 14:36:29 2005 +0100
@@ -2,9 +2,9 @@
     ID:         $Id$
     Author:     Makarius
 
-Patch for PolyML 4.1.4 to make it work with Isabelle2005.  We commit
-this into ML_dbase!
-*)
+Turn the official PolyML 4.2.0 into the internal version 4.1.4, in
+order to make it work with Isabelle2005.  This is to be commited into
+ML_dbase! *)
 
 structure Posix =
 struct