src/Pure/ROOT.ML
changeset 38150 67fc24df3721
parent 37949 48a874444164
child 38266 492d377ecfe2
child 38307 0028571ade2d
     1.1 --- a/src/Pure/ROOT.ML	Thu Aug 05 13:41:00 2010 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Aug 05 14:35:35 2010 +0200
     1.3 @@ -234,6 +234,7 @@
     1.4  use "Thy/term_style.ML";
     1.5  use "Thy/thy_output.ML";
     1.6  use "Thy/thy_syntax.ML";
     1.7 +use "PIDE/document.ML";
     1.8  use "old_goals.ML";
     1.9  use "Isar/outer_syntax.ML";
    1.10  use "Thy/thy_info.ML";