src/Pure/ROOT.ML

 if Multithreading.available then ()
 else use "Concurrent/par_list_sequential.ML";
 
 use "Concurrent/mailbox.ML";
 use "Concurrent/cache.ML";
+
+use "PIDE/active.ML";
 
 
 (* fundamental structures *)
 
 use "name.ML";

 (*theory documents*)
 use "System/isabelle_system.ML";
 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";
 use "Thy/present.ML";
 use "Thy/thy_load.ML";