src/Pure/ROOT.ML
changeset 52530 99dd8b4ef3fe
parent 52510 a4a102237ded
child 52536 3a35ce87a55c
     1.1 --- a/src/Pure/ROOT.ML	Fri Jul 05 14:09:06 2013 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri Jul 05 15:38:03 2013 +0200
     1.3 @@ -265,6 +265,7 @@
     1.4  use "Isar/outer_syntax.ML";
     1.5  use "General/graph_display.ML";
     1.6  use "Thy/present.ML";
     1.7 +use "PIDE/document_id.ML";
     1.8  use "PIDE/command.ML";
     1.9  use "Thy/thy_load.ML";
    1.10  use "Thy/thy_info.ML";