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