src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Jan 16 17:53:22 2002 +0100
+++ b/src/Pure/ROOT.ML	Wed Jan 16 20:57:02 2002 +0100
@@ -64,8 +64,8 @@
 (*old-style goal package*)
 use "goals.ML";
 
-(*specific support for user-interfaces*)
-cd "Interface"; use "ROOT.ML"; cd "..";
+(*configuration for Proof General*)
+use "proof_general.ML";
 
 (*final Pure theory setup*)
 use "pure.ML";