21943
|
1 |
(* Title: Pure/ProofGeneral/ROOT.ML
|
|
2 |
ID: $Id$
|
|
3 |
Author: David Aspinall
|
|
4 |
|
|
5 |
Proof General interface for Isabelle.
|
|
6 |
*)
|
|
7 |
|
21637
|
8 |
use "pgip_types.ML";
|
23610
|
9 |
use "pgml.ML";
|
21637
|
10 |
use "pgip_markup.ML";
|
|
11 |
use "pgip_input.ML";
|
|
12 |
use "pgip_output.ML";
|
|
13 |
use "pgip.ML";
|
|
14 |
|
|
15 |
use "pgip_isabelle.ML";
|
23610
|
16 |
use "pgml_isabelle.ML";
|
21637
|
17 |
use "preferences.ML";
|
|
18 |
use "parsing.ML";
|
|
19 |
|
21867
|
20 |
use "pgip_tests.ML";
|
|
21 |
|
21637
|
22 |
(use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_pgip.ML";
|
21642
|
23 |
(use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general_emacs.ML";
|
21867
|
24 |
|
|
25 |
(* desirable to have tests on UI connection:
|
|
26 |
use "pgip_isabelle_tests.ML"
|
|
27 |
*)
|