--- a/src/Pure/ROOT.ML Sat May 01 11:54:09 2021 +0200
+++ b/src/Pure/ROOT.ML Sun May 02 14:07:19 2021 +0200
@@ -238,6 +238,7 @@
ML_file "ML/ml_context.ML";
ML_file "ML/ml_antiquotation.ML";
ML_file "ML/ml_compiler2.ML";
+ML_file "ML/ml_antiquotations1.ML";
section "Bootstrap phase 3: towards theory Pure and final ML toplevel setup";
@@ -300,7 +301,7 @@
(*theory documents*)
ML_file "Thy/term_style.ML";
ML_file "Isar/outer_syntax.ML";
-ML_file "ML/ml_antiquotations.ML";
+ML_file "ML/ml_antiquotations2.ML";
ML_file "ML/ml_pid.ML";
ML_file "Thy/document_antiquotation.ML";
ML_file "Thy/thy_output.ML";