src/Pure/ProofGeneral/ROOT.ML
changeset 24529 afd2be8a9aba
parent 23793 b04afc51914c
child 25223 7463251e7273
     1.1 --- a/src/Pure/ProofGeneral/ROOT.ML	Wed Sep 05 20:48:25 2007 +0200
     1.2 +++ b/src/Pure/ProofGeneral/ROOT.ML	Wed Sep 05 21:09:11 2007 +0200
     1.3 @@ -2,7 +2,8 @@
     1.4      ID:         $Id$
     1.5      Author:     David Aspinall
     1.6  
     1.7 -Proof General interface for Isabelle.
     1.8 +Proof General interface for Isabelle, both the traditional Emacs version,
     1.9 +and PGIP experiments.
    1.10  *)
    1.11  
    1.12  use "pgip_types.ML";
    1.13 @@ -14,16 +15,13 @@
    1.14  
    1.15  use "pgip_isabelle.ML";
    1.16  use "pgml_isabelle.ML";
    1.17 -use "preferences.ML";
    1.18 +(use |> setmp proofs 1 |> setmp quick_and_dirty true) "preferences.ML";
    1.19  use "pgip_parser.ML";
    1.20  
    1.21  use "parsing.ML";   (* old version *)
    1.22  
    1.23  use "pgip_tests.ML";
    1.24  
    1.25 -(use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_pgip.ML";
    1.26 -(use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_emacs.ML";
    1.27 +use "proof_general_pgip.ML";
    1.28 +use "proof_general_emacs.ML";
    1.29  
    1.30 -(* desirable to have tests on UI connection:
    1.31 -  use "pgip_isabelle_tests.ML"
    1.32 -*)