src/Pure/ProofGeneral/ROOT.ML
changeset 21867 8750fbc28d5c
parent 21642 54b00ca67e0e
child 21943 b7b66f440d04
     1.1 --- a/src/Pure/ProofGeneral/ROOT.ML	Sat Dec 16 20:27:56 2006 +0100
     1.2 +++ b/src/Pure/ProofGeneral/ROOT.ML	Sun Dec 17 22:43:50 2006 +0100
     1.3 @@ -3,11 +3,16 @@
     1.4  use "pgip_input.ML";
     1.5  use "pgip_output.ML";
     1.6  use "pgip.ML";
     1.7 -use "pgip_tests.ML";
     1.8  
     1.9  use "pgip_isabelle.ML";
    1.10  use "preferences.ML";
    1.11  use "parsing.ML";
    1.12  
    1.13 +use "pgip_tests.ML";
    1.14 +
    1.15  (use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_pgip.ML";
    1.16  (use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_emacs.ML";
    1.17 +
    1.18 +(* desirable to have tests on UI connection:
    1.19 +  use "pgip_isabelle_tests.ML"
    1.20 +*)