diff options
| author | David Aspinall | 2000-08-28 12:32:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-08-28 12:32:59 +0000 |
| commit | 1d677e46e12f4e243b89478f84b47bfdf96b3c14 (patch) | |
| tree | 92e1f73b423ee08f6c53aa6353608e8a7e59916d /doc/localdir | |
| parent | 598ca314b28517b61323ed8c662cacbd2c678084 (diff) | |
Split manual into two parts.
Added notes about find theorems trick of separating constants by comma
for Isabelle. Made for version 99-1.
Improved documentation for urgent messages, including recent
additions. Mentioned new high-level macros proof-defshortcut,
proof-definvisible.
Diffstat (limited to 'doc/localdir')
| -rw-r--r-- | doc/localdir | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/localdir b/doc/localdir index b82dd964..2b366965 100644 --- a/doc/localdir +++ b/doc/localdir @@ -1,2 +1,3 @@ Theorem proving -* Proof General: (ProofGeneral). Organize your proofs with Emacs! +* Proof General: (ProofGeneral). Organize your proofs with Emacs! +* Adapting Proof General: (PG-adapting). How to adapt Proof General for new provers |