src/Pure/ROOT.ML
changeset 67138 82283d52b4d6
parent 65505 741fad555d82
child 67205 06c91eac25f2
     1.1 --- a/src/Pure/ROOT.ML	Tue Dec 05 15:19:32 2017 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Tue Dec 05 15:29:37 2017 +0100
     1.3 @@ -280,6 +280,7 @@
     1.4  (*theory documents*)
     1.5  ML_file "Thy/term_style.ML";
     1.6  ML_file "Isar/outer_syntax.ML";
     1.7 +ML_file "ML/ml_antiquotations.ML";
     1.8  ML_file "Thy/thy_output.ML";
     1.9  ML_file "Thy/document_antiquotations.ML";
    1.10  ML_file "General/graph_display.ML";
    1.11 @@ -311,7 +312,6 @@
    1.12  subsection "Miscellaneous tools and packages for Pure Isabelle";
    1.13  
    1.14  ML_file "ML/ml_pp.ML";
    1.15 -ML_file "ML/ml_antiquotations.ML";
    1.16  ML_file "ML/ml_thms.ML";
    1.17  ML_file "ML/ml_file.ML";
    1.18