--- a/src/Pure/ROOT Mon Nov 26 16:22:29 2012 +0100
+++ b/src/Pure/ROOT Mon Nov 26 16:28:22 2012 +0100
@@ -200,7 +200,7 @@
"Thy/thy_output.ML"
"Thy/thy_syntax.ML"
"Tools/named_thms.ML"
- "Tools/xml_syntax.ML"
+ "Tools/legacy_xml_syntax.ML"
"assumption.ML"
"axclass.ML"
"config.ML"