tuned comments;
authorwenzelm
Fri Nov 10 23:22:11 2006 +0100 (2006-11-10)
changeset 212994b01726d71fc
parent 21298 6d2306b2376d
child 21300 2fbe0044edd9
tuned comments;
src/Pure/ML-Systems/polyml-4.1.4-patch.ML
src/Pure/ML-Systems/polyml-4.2.0.ML
     1.1 --- a/src/Pure/ML-Systems/polyml-4.1.4-patch.ML	Fri Nov 10 23:22:10 2006 +0100
     1.2 +++ b/src/Pure/ML-Systems/polyml-4.1.4-patch.ML	Fri Nov 10 23:22:11 2006 +0100
     1.3 @@ -1,10 +1,8 @@
     1.4  (*  Title:      Pure/ML-Systems/polyml-4.1.4-patch.ML
     1.5      ID:         $Id$
     1.6 -    Author:     Makarius
     1.7  
     1.8 -Turn the official PolyML 4.2.0 into the internal version 4.1.4, in
     1.9 -order to make it work with Isabelle2005.  This is to be commited into
    1.10 -ML_dbase! *)
    1.11 +Basis library fixes for Poly/ML 4.2.0 or later.
    1.12 +*)
    1.13  
    1.14  structure Posix =
    1.15  struct
     2.1 --- a/src/Pure/ML-Systems/polyml-4.2.0.ML	Fri Nov 10 23:22:10 2006 +0100
     2.2 +++ b/src/Pure/ML-Systems/polyml-4.2.0.ML	Fri Nov 10 23:22:11 2006 +0100
     2.3 @@ -1,6 +1,5 @@
     2.4  (*  Title:      Pure/ML-Systems/polyml-4.2.0.ML
     2.5      ID:         $Id$
     2.6 -    Author:     Makarius
     2.7  
     2.8  Compatibility wrapper for Poly/ML 4.2.0.
     2.9  *)