src/Pure/ROOT.ML
changeset 61619 f22054b192b0
parent 61556 0d4ee4168e41
child 61669 27ca6147e3b3
     1.1 --- a/src/Pure/ROOT.ML	Tue Nov 10 20:49:48 2015 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Tue Nov 10 21:31:14 2015 +0100
     1.3 @@ -303,6 +303,7 @@
     1.4  use "Thy/term_style.ML";
     1.5  use "Isar/outer_syntax.ML";
     1.6  use "Thy/thy_output.ML";
     1.7 +use "Thy/document_antiquotations.ML";
     1.8  use "General/graph_display.ML";
     1.9  use "Thy/present.ML";
    1.10  use "pure_syn.ML";