# HG changeset patch
# User wenzelm
# Date 1131975389 -3600
# Node ID fb93c63c62f1fb9a70004771ad2de9c765bd49f1
# Parent  08282ca0402e7771e2b35a66885f8c74eb6e5ab7
tuned;

diff -r 08282ca0402e -r fb93c63c62f1 src/Pure/ML-Systems/polyml-4.1.4-patch.ML
--- 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