src/Pure/ProofGeneral/ROOT.ML
changeset 21642 54b00ca67e0e
parent 21637 a7b156c404e2
child 21867 8750fbc28d5c
     1.1 --- a/src/Pure/ProofGeneral/ROOT.ML	Mon Dec 04 22:11:28 2006 +0100
     1.2 +++ b/src/Pure/ProofGeneral/ROOT.ML	Mon Dec 04 22:12:08 2006 +0100
     1.3 @@ -10,6 +10,4 @@
     1.4  use "parsing.ML";
     1.5  
     1.6  (use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_pgip.ML";
     1.7 -(* OLD interaction mode, not yet complete
     1.8 -  (use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_emacs.ML";
     1.9 -*)
    1.10 +(use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_emacs.ML";