src/Pure/ROOT.ML
changeset 52536 3a35ce87a55c
parent 52530 99dd8b4ef3fe
child 52537 4b5941730bd8
     1.1 --- a/src/Pure/ROOT.ML	Fri Jul 05 22:09:16 2013 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri Jul 05 22:58:24 2013 +0200
     1.3 @@ -256,6 +256,7 @@
     1.4  
     1.5  (*toplevel transactions*)
     1.6  use "Isar/proof_node.ML";
     1.7 +use "PIDE/document_id.ML";
     1.8  use "Isar/toplevel.ML";
     1.9  
    1.10  (*theory documents*)
    1.11 @@ -265,7 +266,6 @@
    1.12  use "Isar/outer_syntax.ML";
    1.13  use "General/graph_display.ML";
    1.14  use "Thy/present.ML";
    1.15 -use "PIDE/document_id.ML";
    1.16  use "PIDE/command.ML";
    1.17  use "Thy/thy_load.ML";
    1.18  use "Thy/thy_info.ML";