# HG changeset patch
# User wenzelm
# Date 1218569273 -7200
# Node ID dc073b565c56ad9bd4da2150fa900594e56ee465
# Parent  74e8228757c5617e14495bb540c13e1f343a0a90
load thy_edit.ML before outer_syntax.ML;

diff -r 74e8228757c5 -r dc073b565c56 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Tue Aug 12 21:27:51 2008 +0200
+++ b/src/Pure/Isar/ROOT.ML	Tue Aug 12 21:27:53 2008 +0200
@@ -78,10 +78,10 @@
 (*theory syntax*)
 use "../Thy/term_style.ML";
 use "../Thy/thy_output.ML";
+use "../Thy/thy_edit.ML";
 use "../old_goals.ML";
 use "outer_syntax.ML";
 use "../Thy/thy_info.ML";
-use "../Thy/thy_edit.ML";
 use "session.ML";
 use "isar.ML";