author | haftmann |
Fri, 24 Apr 2009 17:45:17 +0200 | |
changeset 30973 | 304ab57afa6e |
parent 29929 | 9e903a645d8f |
child 30980 | fe0855471964 |
permissions | -rw-r--r-- |
21943 | 1 |
(* Title: Pure/ProofGeneral/ROOT.ML |
2 |
Author: David Aspinall |
|
3 |
||
24529
afd2be8a9aba
use preferences.ML: do setmp *here*, to capture intended default values;
wenzelm
parents:
23793
diff
changeset
|
4 |
Proof General interface for Isabelle, both the traditional Emacs version, |
afd2be8a9aba
use preferences.ML: do setmp *here*, to capture intended default values;
wenzelm
parents:
23793
diff
changeset
|
5 |
and PGIP experiments. |
21943 | 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"; |
|
25375 | 16 |
|
17 |
(use |
|
18 |
|> setmp Proofterm.proofs 1 |
|
19 |
|> setmp quick_and_dirty true |
|
30973
304ab57afa6e
observe distinction between Pure/Tools and Tools more closely
haftmann
parents:
29929
diff
changeset
|
20 |
|> setmp Quickcheck.auto true |
29929 | 21 |
|> setmp auto_solve true) "preferences.ML"; |
25375 | 22 |
|
23793 | 23 |
use "pgip_parser.ML"; |
24 |
||
21867 | 25 |
use "pgip_tests.ML"; |
26 |
||
24529
afd2be8a9aba
use preferences.ML: do setmp *here*, to capture intended default values;
wenzelm
parents:
23793
diff
changeset
|
27 |
use "proof_general_pgip.ML"; |
afd2be8a9aba
use preferences.ML: do setmp *here*, to capture intended default values;
wenzelm
parents:
23793
diff
changeset
|
28 |
use "proof_general_emacs.ML"; |
21867 | 29 |