author | wenzelm |
Sat, 25 Apr 2009 21:28:04 +0200 | |
changeset 30980 | fe0855471964 |
parent 30973 | 304ab57afa6e |
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 |
|
30980 | 17 |
use "preferences.ML"; |
25375 | 18 |
|
23793 | 19 |
use "pgip_parser.ML"; |
20 |
||
21867 | 21 |
use "pgip_tests.ML"; |
22 |
||
24529
afd2be8a9aba
use preferences.ML: do setmp *here*, to capture intended default values;
wenzelm
parents:
23793
diff
changeset
|
23 |
use "proof_general_pgip.ML"; |
afd2be8a9aba
use preferences.ML: do setmp *here*, to capture intended default values;
wenzelm
parents:
23793
diff
changeset
|
24 |
use "proof_general_emacs.ML"; |
21867 | 25 |