src/Pure/ROOT.ML
changeset 48771 2ea997196d04
parent 48732 f04320479ff9
child 48867 e9beabf045ab
--- a/src/Pure/ROOT.ML	Sat Aug 11 17:43:00 2012 +0200
+++ b/src/Pure/ROOT.ML	Sat Aug 11 18:05:41 2012 +0200
@@ -247,11 +247,11 @@
 use "Thy/term_style.ML";
 use "Thy/thy_output.ML";
 use "Thy/thy_syntax.ML";
+use "PIDE/command.ML";
 use "Isar/outer_syntax.ML";
 use "Thy/present.ML";
 use "Thy/thy_load.ML";
 use "Thy/thy_info.ML";
-use "PIDE/command.ML";
 use "PIDE/document.ML";
 use "Thy/rail.ML";