Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Fri, 10 Nov 2006 23:22:11 +0100
changeset 21299 4b01726d71fc
parent 21298 6d2306b2376d
child 21300 2fbe0044edd9
tuned comments;
src/Pure/ML-Systems/polyml-4.1.4-patch.ML file | annotate | diff | comparison | revisions
src/Pure/ML-Systems/polyml-4.2.0.ML file | annotate | diff | comparison | revisions 
--- 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
--- 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.
 *)
isabelle