changeset 52536 | 3a35ce87a55c |
parent 52530 | 99dd8b4ef3fe |
child 52537 | 4b5941730bd8 |
--- a/src/Pure/ROOT.ML Fri Jul 05 22:09:16 2013 +0200 +++ b/src/Pure/ROOT.ML Fri Jul 05 22:58:24 2013 +0200 @@ -256,6 +256,7 @@ (*toplevel transactions*) use "Isar/proof_node.ML"; +use "PIDE/document_id.ML"; use "Isar/toplevel.ML"; (*theory documents*) @@ -265,7 +266,6 @@ use "Isar/outer_syntax.ML"; use "General/graph_display.ML"; use "Thy/present.ML"; -use "PIDE/document_id.ML"; use "PIDE/command.ML"; use "Thy/thy_load.ML"; use "Thy/thy_info.ML";