equal
deleted
inserted
replaced
1 (* Title: Pure/proof_general.ML |
1 (* Title: Pure/proof_general.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: David Aspinall and Markus Wenzel |
3 Author: David Aspinall and Markus Wenzel |
4 |
4 |
5 Isabelle configuration for Proof General (see http://proofgeneral.inf.ed.ac.uk) |
5 Isabelle configuration for Proof General (see |
6 Includes support for PGIP control language for Isabelle/Isar. |
6 http://proofgeneral.inf.ed.ac.uk). Also includes experimental support |
7 |
7 for PGIP control language for Isabelle/Isar (PGIP 2.X). |
8 =========================================================================== |
|
9 NOTE: With this version you will lose support for the Isabelle |
|
10 settings menu in the currently released version of Proof General (3.5). |
|
11 No other changes should be visible in the Emacs interface. |
|
12 |
|
13 The 3.6pre pre-release versions of Emacs Proof General now support the |
|
14 new PGIP format for preferences and restore the settings menu. |
|
15 Please visit http://proofgeneral.inf.ed.ac.uk/develdownload |
|
16 =========================================================================== |
|
17 |
|
18 STATUS: this version is an experimental version that supports PGIP 2.X. |
|
19 *) |
8 *) |
20 |
9 |
21 signature PROOF_GENERAL = |
10 signature PROOF_GENERAL = |
22 sig |
11 sig |
23 val update_thy_only: string -> unit |
12 val update_thy_only: string -> unit |