src/Pure/ML/ml_compiler_polyml-5.3.ML
changeset 32493 457ea5ddbb9b
parent 32492 9d49a280f3f9
child 32738 15bb09ca0378
     1.1 --- a/src/Pure/ML/ml_compiler_polyml-5.3.ML	Wed Sep 02 16:51:19 2009 +0200
     1.2 +++ b/src/Pure/ML/ml_compiler_polyml-5.3.ML	Wed Sep 02 17:33:25 2009 +0200
     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 773).
     1.8 +Advanced runtime compilation for Poly/ML 5.3 (SVN 839).
     1.9  *)
    1.10  
    1.11  signature ML_COMPILER =