--- a/src/Pure/ROOT.ML Thu Aug 05 13:41:00 2010 +0200
+++ b/src/Pure/ROOT.ML Thu Aug 05 14:35:35 2010 +0200
@@ -234,6 +234,7 @@
use "Thy/term_style.ML";
use "Thy/thy_output.ML";
use "Thy/thy_syntax.ML";
+use "PIDE/document.ML";
use "old_goals.ML";
use "Isar/outer_syntax.ML";
use "Thy/thy_info.ML";