changeset 18160 | fb93c63c62f1 |
parent 17757 | 87a9b1d48e25 |
child 21299 | 4b01726d71fc |
--- a/src/Pure/ML-Systems/polyml-4.1.4-patch.ML Mon Nov 14 13:59:58 2005 +0100 +++ b/src/Pure/ML-Systems/polyml-4.1.4-patch.ML Mon Nov 14 14:36:29 2005 +0100 @@ -2,9 +2,9 @@ ID: $Id$ Author: Makarius -Patch for PolyML 4.1.4 to make it work with Isabelle2005. We commit -this into ML_dbase! -*) +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! *) structure Posix = struct