src/Pure/ROOT.ML
changeset 48771 2ea997196d04
parent 48732 f04320479ff9
child 48867 e9beabf045ab
     1.1 --- a/src/Pure/ROOT.ML	Sat Aug 11 17:43:00 2012 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sat Aug 11 18:05:41 2012 +0200
     1.3 @@ -247,11 +247,11 @@
     1.4  use "Thy/term_style.ML";
     1.5  use "Thy/thy_output.ML";
     1.6  use "Thy/thy_syntax.ML";
     1.7 +use "PIDE/command.ML";
     1.8  use "Isar/outer_syntax.ML";
     1.9  use "Thy/present.ML";
    1.10  use "Thy/thy_load.ML";
    1.11  use "Thy/thy_info.ML";
    1.12 -use "PIDE/command.ML";
    1.13  use "PIDE/document.ML";
    1.14  use "Thy/rail.ML";
    1.15