changeset 51265 | 6a3191767ecb |
parent 50911 | ee7fe4230642 |
child 51551 | 88d1d19fb74f |
--- 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";