src/Pure/ROOT.ML
changeset 21640 9811f1560d38
parent 21475 ec0d1cf0eb35
child 21687 f689f729afab
     1.1 --- a/src/Pure/ROOT.ML	Mon Dec 04 21:33:36 2006 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Mon Dec 04 21:41:47 2006 +0100
     1.3 @@ -84,6 +84,8 @@
     1.4  
     1.5  (*configuration for Proof General*)
     1.6  (use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general.ML";
     1.7 +(* NEW PG code: [ in testing ]
     1.8 +cd "ProofGeneral"; use "ROOT.ML"; cd ".."; *)
     1.9  
    1.10  use_thy "Pure";
    1.11  structure Pure = struct val thy = theory "Pure" end;