src/Pure/ROOT.ML
changeset 50500 c94bba7906d2
parent 50498 6647ba2775c1
child 50686 d703e3aafa8c
     1.1 --- a/src/Pure/ROOT.ML	Wed Dec 12 23:36:07 2012 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Thu Dec 13 13:52:18 2012 +0100
     1.3 @@ -98,6 +98,8 @@
     1.4  use "Concurrent/mailbox.ML";
     1.5  use "Concurrent/cache.ML";
     1.6  
     1.7 +use "PIDE/active.ML";
     1.8 +
     1.9  
    1.10  (* fundamental structures *)
    1.11  
    1.12 @@ -251,7 +253,6 @@
    1.13  use "Thy/term_style.ML";
    1.14  use "Thy/thy_output.ML";
    1.15  use "Thy/thy_syntax.ML";
    1.16 -use "PIDE/active.ML";
    1.17  use "PIDE/command.ML";
    1.18  use "Isar/outer_syntax.ML";
    1.19  use "General/graph_display.ML";