| changeset 38470 | 484e483eb606 |
| parent 33538 | edf497b5b5d2 |
| child 39242 | 28d3809ff91f |
--- a/src/Pure/ML-Systems/compiler_polyml-5.3.ML Tue Aug 17 18:04:08 2010 +0200 +++ b/src/Pure/ML-Systems/compiler_polyml-5.3.ML Tue Aug 17 18:41:55 2010 +0200 @@ -1,6 +1,6 @@ (* Title: Pure/ML-Systems/compiler_polyml-5.3.ML -Runtime compilation for Poly/ML 5.3.0. +Runtime compilation for Poly/ML 5.3 and 5.4. *) local