src/Pure/ROOT.ML
changeset 52009 3b18ef9df768
parent 52007 0b1183012a3c
child 52050 b40ed9dcf903
     1.1 --- a/src/Pure/ROOT.ML	Wed May 15 20:28:43 2013 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed May 15 20:34:42 2013 +0200
     1.3 @@ -293,13 +293,10 @@
     1.4  
     1.5  use "Tools/build.ML";
     1.6  use "Tools/named_thms.ML";
     1.7 +use "Tools/proof_general.ML";
     1.8  use "Tools/legacy_xml_syntax.ML";
     1.9  
    1.10  
    1.11 -(* configuration for Proof General *)
    1.12 -use "ProofGeneral/proof_general.ML";
    1.13 -
    1.14 -
    1.15  (* ML toplevel pretty printing *)
    1.16  
    1.17  toplevel_pp ["Pretty", "T"] "(fn _: Pretty.T => Pretty.str \"<pretty>\")";