diff -r 9858f32f9569 -r 12f5f6af3d2d src/Pure/ML-Systems/compiler_polyml-5.3.ML
--- 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