src/Pure/ProofGeneral/ROOT.ML
changeset 25223 7463251e7273
parent 24529 afd2be8a9aba
child 25275 76d7f3fd4fb3
     1.1 --- a/src/Pure/ProofGeneral/ROOT.ML	Mon Oct 29 10:37:09 2007 +0100
     1.2 +++ b/src/Pure/ProofGeneral/ROOT.ML	Mon Oct 29 16:13:41 2007 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4  
     1.5  use "pgip_isabelle.ML";
     1.6  use "pgml_isabelle.ML";
     1.7 -(use |> setmp proofs 1 |> setmp quick_and_dirty true) "preferences.ML";
     1.8 +(use |> setmp Proofterm.proofs 1 |> setmp quick_and_dirty true) "preferences.ML";
     1.9  use "pgip_parser.ML";
    1.10  
    1.11  use "parsing.ML";   (* old version *)