--- a/src/Pure/ROOT.ML Thu Oct 30 23:14:11 2014 +0100
+++ b/src/Pure/ROOT.ML Fri Oct 31 11:18:17 2014 +0100
@@ -334,7 +334,6 @@
use "Tools/build.ML";
use "Tools/named_thms.ML";
-use "Tools/proof_general.ML";
structure Output: OUTPUT = Output; (*seal system channels!*)