changeset 50500 | c94bba7906d2 |
parent 50498 | 6647ba2775c1 |
child 50686 | d703e3aafa8c |
--- a/src/Pure/ROOT.ML Wed Dec 12 23:36:07 2012 +0100 +++ b/src/Pure/ROOT.ML Thu Dec 13 13:52:18 2012 +0100 @@ -98,6 +98,8 @@ use "Concurrent/mailbox.ML"; use "Concurrent/cache.ML"; +use "PIDE/active.ML"; + (* fundamental structures *) @@ -251,7 +253,6 @@ use "Thy/term_style.ML"; use "Thy/thy_output.ML"; use "Thy/thy_syntax.ML"; -use "PIDE/active.ML"; use "PIDE/command.ML"; use "Isar/outer_syntax.ML"; use "General/graph_display.ML";