changeset 31433 | 12f5f6af3d2d |
parent 31312 | 1c00e4ff3c99 |
child 31471 | e3987b32e401 |
--- a/src/Pure/ML-Systems/compiler_polyml-5.3.ML Thu Jun 04 18:00:47 2009 +0200 +++ b/src/Pure/ML-Systems/compiler_polyml-5.3.ML Thu Jun 04 19:15:54 2009 +0200 @@ -1,6 +1,6 @@ (* Title: Pure/ML-Systems/compiler_polyml-5.3.ML -Runtime compilation for Poly/ML 5.3 (SVN experimental). +Runtime compilation for Poly/ML 5.3. *) local