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
Tue, 16 Sep 2008 18:01:25 +0200
changeset 28255 6faea8ad8559
parent 28254 d67ba23e0277
child 28256 4e7f7d52f855
tuned comments;
src/Pure/ML-Systems/polyml.ML file | annotate | diff | comparison | revisions
src/Pure/ML-Systems/universal.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/polyml.ML	Tue Sep 16 18:01:24 2008 +0200
+++ b/src/Pure/ML-Systems/polyml.ML	Tue Sep 16 18:01:25 2008 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Pure/ML-Systems/polyml.ML
     ID:         $Id$
 
-Compatibility wrapper for Poly/ML (after 5.1).
+Compatibility wrapper for Poly/ML 5.2 or later.
 *)
 
 open Thread;
--- a/src/Pure/ML-Systems/universal.ML	Tue Sep 16 18:01:24 2008 +0200
+++ b/src/Pure/ML-Systems/universal.ML	Tue Sep 16 18:01:25 2008 +0200
@@ -3,7 +3,7 @@
     Author:     Makarius
 
 Universal values via tagged union.  Emulates structure Universal
-in Poly/ML 5.1.
+from Poly/ML 5.1.
 *)
 
 signature UNIVERSAL =
isabelle