# HG changeset patch
# User wenzelm
# Date 1163197331 -3600
# Node ID 4b01726d71fc8c836345c672c3bf0a686304d7de
# Parent  6d2306b2376d4933b85589c4e65337142632abc2
tuned comments;

diff -r 6d2306b2376d -r 4b01726d71fc src/Pure/ML-Systems/polyml-4.1.4-patch.ML
--- a/src/Pure/ML-Systems/polyml-4.1.4-patch.ML	Fri Nov 10 23:22:10 2006 +0100
+++ b/src/Pure/ML-Systems/polyml-4.1.4-patch.ML	Fri Nov 10 23:22:11 2006 +0100
@@ -1,10 +1,8 @@
 (*  Title:      Pure/ML-Systems/polyml-4.1.4-patch.ML
     ID:         $Id$
-    Author:     Makarius
 
-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! *)
+Basis library fixes for Poly/ML 4.2.0 or later.
+*)
 
 structure Posix =
 struct
diff -r 6d2306b2376d -r 4b01726d71fc src/Pure/ML-Systems/polyml-4.2.0.ML
--- a/src/Pure/ML-Systems/polyml-4.2.0.ML	Fri Nov 10 23:22:10 2006 +0100
+++ b/src/Pure/ML-Systems/polyml-4.2.0.ML	Fri Nov 10 23:22:11 2006 +0100
@@ -1,6 +1,5 @@
 (*  Title:      Pure/ML-Systems/polyml-4.2.0.ML
     ID:         $Id$
-    Author:     Makarius
 
 Compatibility wrapper for Poly/ML 4.2.0.
 *)