# HG changeset patch
# User wenzelm
# Date 1361783913 -3600
# Node ID 6a3191767ecb8a0e45426b52ecd5e5fb7bb2fe1c
# Parent  28b60ee75ef81133165d3856d86e3235ac9ab4f3
tuned order of modules;

diff -r 28b60ee75ef8 -r 6a3191767ecb src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sat Feb 23 22:00:12 2013 +0100
+++ b/src/Pure/ROOT.ML	Mon Feb 25 10:18:33 2013 +0100
@@ -208,6 +208,7 @@
 
 (*theory sources*)
 use "Thy/thy_header.ML";
+use "Thy/thy_syntax.ML";
 use "Thy/html.ML";
 use "Thy/latex.ML";
 
@@ -257,7 +258,6 @@
 use "System/isabelle_system.ML";
 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 "General/graph_display.ML";