diff -r 5c6c5d63f3c3 -r 484e483eb606 src/Pure/ML-Systems/compiler_polyml-5.3.ML
--- 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