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.
aspinall@21637
     1
use "pgip_types.ML";
aspinall@21637
     2
use "pgip_markup.ML";
aspinall@21637
     3
use "pgip_input.ML";
aspinall@21637
     4
use "pgip_output.ML";
aspinall@21637
     5
use "pgip.ML";
aspinall@21637
     6
aspinall@21637
     7
use "pgip_isabelle.ML";
aspinall@21637
     8
use "preferences.ML";
aspinall@21637
     9
use "parsing.ML";
aspinall@21637
    10
aspinall@21867
    11
use "pgip_tests.ML";
aspinall@21867
    12
aspinall@21637
    13
(use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_pgip.ML";
aspinall@21642
    14
(use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_emacs.ML";
aspinall@21867
    15
aspinall@21867
    16
(* desirable to have tests on UI connection:
aspinall@21867
    17
  use "pgip_isabelle_tests.ML"
aspinall@21867
    18
*)