tuned comments;
authorwenzelm
Tue Sep 16 18:01:25 2008 +0200 (2008-09-16 ago)
changeset 282556faea8ad8559
parent 28254 d67ba23e0277
child 28256 4e7f7d52f855
tuned comments;
src/Pure/ML-Systems/polyml.ML
src/Pure/ML-Systems/universal.ML
     1.1 --- a/src/Pure/ML-Systems/polyml.ML	Tue Sep 16 18:01:24 2008 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml.ML	Tue Sep 16 18:01:25 2008 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      Pure/ML-Systems/polyml.ML
     1.5      ID:         $Id$
     1.6  
     1.7 -Compatibility wrapper for Poly/ML (after 5.1).
     1.8 +Compatibility wrapper for Poly/ML 5.2 or later.
     1.9  *)
    1.10  
    1.11  open Thread;
     2.1 --- a/src/Pure/ML-Systems/universal.ML	Tue Sep 16 18:01:24 2008 +0200
     2.2 +++ b/src/Pure/ML-Systems/universal.ML	Tue Sep 16 18:01:25 2008 +0200
     2.3 @@ -3,7 +3,7 @@
     2.4      Author:     Makarius
     2.5  
     2.6  Universal values via tagged union.  Emulates structure Universal
     2.7 -in Poly/ML 5.1.
     2.8 +from Poly/ML 5.1.
     2.9  *)
    2.10  
    2.11  signature UNIVERSAL =