src/Pure/ProofGeneral/ROOT.ML
author aspinall
Sun Dec 17 22:43:50 2006 +0100 (2006-12-17)
changeset 21867 8750fbc28d5c
parent 21642 54b00ca67e0e
child 21943 b7b66f440d04
permissions -rw-r--r--
Add abstraction for objtypes and documents.
     1 use "pgip_types.ML";
     2 use "pgip_markup.ML";
     3 use "pgip_input.ML";
     4 use "pgip_output.ML";
     5 use "pgip.ML";
     6 
     7 use "pgip_isabelle.ML";
     8 use "preferences.ML";
     9 use "parsing.ML";
    10 
    11 use "pgip_tests.ML";
    12 
    13 (use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_pgip.ML";
    14 (use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_emacs.ML";
    15 
    16 (* desirable to have tests on UI connection:
    17   use "pgip_isabelle_tests.ML"
    18 *)