--- a/src/Pure/ROOT.ML Tue Dec 05 15:19:32 2017 +0100
+++ b/src/Pure/ROOT.ML Tue Dec 05 15:29:37 2017 +0100
@@ -280,6 +280,7 @@
(*theory documents*)
ML_file "Thy/term_style.ML";
ML_file "Isar/outer_syntax.ML";
+ML_file "ML/ml_antiquotations.ML";
ML_file "Thy/thy_output.ML";
ML_file "Thy/document_antiquotations.ML";
ML_file "General/graph_display.ML";
@@ -311,7 +312,6 @@
subsection "Miscellaneous tools and packages for Pure Isabelle";
ML_file "ML/ml_pp.ML";
-ML_file "ML/ml_antiquotations.ML";
ML_file "ML/ml_thms.ML";
ML_file "ML/ml_file.ML";