changeset 33540 | edf497b5b5d2 |
parent 32738 | 15bb09ca0378 |
child 33603 | 3713a5208671 |
1.1 --- a/src/Pure/ML/ml_compiler_polyml-5.3.ML Mon Nov 09 20:47:39 2009 +0100 1.2 +++ b/src/Pure/ML/ml_compiler_polyml-5.3.ML Mon Nov 09 21:30:54 2009 +0100 1.3 @@ -1,7 +1,7 @@ 1.4 (* Title: Pure/ML/ml_compiler_polyml-5.3.ML 1.5 Author: Makarius 1.6 1.7 -Advanced runtime compilation for Poly/ML 5.3 (SVN 839). 1.8 +Advanced runtime compilation for Poly/ML 5.3.0. 1.9 *) 1.10 1.11 signature ML_COMPILER =