# HG changeset patch
# User wenzelm
# Date 1244318270 -7200
# Node ID a153d2de112cedcd8f27643b23006f96342f5dc5
# Parent  05937d6aafb5ee8409590e4e2c53c60d9224df99
updated version;

diff -r 05937d6aafb5 -r a153d2de112c src/Pure/ML/ml_compiler_polyml-5.3.ML
--- a/src/Pure/ML/ml_compiler_polyml-5.3.ML	Sat Jun 06 21:47:02 2009 +0200
+++ b/src/Pure/ML/ml_compiler_polyml-5.3.ML	Sat Jun 06 21:57:50 2009 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Pure/ML/ml_compiler_polyml-5.3.ML
     Author:     Makarius
 
-Advanced runtime compilation for Poly/ML 5.3 (SVN 762).
+Advanced runtime compilation for Poly/ML 5.3 (SVN 773).
 *)
 
 signature ML_COMPILER =