src/Pure/ROOT.ML
changeset 12778 3120e338ffae
parent 12248 f059876ef1d3
child 13271 d0859ff6cd65
--- 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";