equal
deleted
inserted
replaced
16 use "pgip_isabelle.ML"; |
16 use "pgip_isabelle.ML"; |
17 use "pgml_isabelle.ML"; |
17 use "pgml_isabelle.ML"; |
18 (use |> setmp Proofterm.proofs 1 |> setmp quick_and_dirty true) "preferences.ML"; |
18 (use |> setmp Proofterm.proofs 1 |> setmp quick_and_dirty true) "preferences.ML"; |
19 use "pgip_parser.ML"; |
19 use "pgip_parser.ML"; |
20 |
20 |
21 use "parsing.ML"; (* old version *) |
|
22 |
|
23 use "pgip_tests.ML"; |
21 use "pgip_tests.ML"; |
24 |
22 |
25 use "proof_general_pgip.ML"; |
23 use "proof_general_pgip.ML"; |
26 use "proof_general_emacs.ML"; |
24 use "proof_general_emacs.ML"; |
27 |
25 |