author | wenzelm |
Thu, 29 May 2008 23:46:45 +0200 | |
changeset 27022 | f8255a5dc3a8 |
parent 25375 | 9482ef88e5bc |
child 28030 | 8b197e2bc66a |
permissions | -rw-r--r-- |
21943 | 1 |
(* Title: Pure/ProofGeneral/ROOT.ML |
2 |
ID: $Id$ |
|
3 |
Author: David Aspinall |
|
4 |
||
24529
afd2be8a9aba
use preferences.ML: do setmp *here*, to capture intended default values;
wenzelm
parents:
23793
diff
changeset
|
5 |
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
|
6 |
and PGIP experiments. |
21943 | 7 |
*) |
8 |
||
21637 | 9 |
use "pgip_types.ML"; |
23610 | 10 |
use "pgml.ML"; |
21637 | 11 |
use "pgip_markup.ML"; |
12 |
use "pgip_input.ML"; |
|
13 |
use "pgip_output.ML"; |
|
14 |
use "pgip.ML"; |
|
15 |
||
16 |
use "pgip_isabelle.ML"; |
|
23610 | 17 |
use "pgml_isabelle.ML"; |
25375 | 18 |
|
19 |
(use |
|
20 |
|> setmp Proofterm.proofs 1 |
|
21 |
|> setmp quick_and_dirty true |
|
22 |
|> setmp auto_quickcheck true) "preferences.ML"; |
|
23 |
||
23793 | 24 |
use "pgip_parser.ML"; |
25 |
||
21867 | 26 |
use "pgip_tests.ML"; |
27 |
||
24529
afd2be8a9aba
use preferences.ML: do setmp *here*, to capture intended default values;
wenzelm
parents:
23793
diff
changeset
|
28 |
use "proof_general_pgip.ML"; |
afd2be8a9aba
use preferences.ML: do setmp *here*, to capture intended default values;
wenzelm
parents:
23793
diff
changeset
|
29 |
use "proof_general_emacs.ML"; |
21867 | 30 |