diff options
| author | David Aspinall | 1998-12-15 18:06:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-15 18:06:06 +0000 |
| commit | 04fa095c8247c748571a5d28272fcbc3305556ff (patch) | |
| tree | b1d9277bd228504ee5c5a4b2f3172986f397af8a /doc | |
| parent | d4c35aaef0322a8938fde2dd98e08b618349dc32 (diff) | |
Changed title of Chap 10.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 3a29a21d..b5c5b760 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -416,7 +416,7 @@ The main aim of Proof General is to provide a powerful and configurable Emacs mode to help user-interaction with numerous interactive proof assistants. Please help us with this aim! Configure Proof General for your own proof assistant, by adding features at the generic level of -Proof General wherever possible. See @ref{Adapting Proof General to New +Proof General wherever possible. See @ref{Adapting Proof General to Other Provers} for more details, and send ideas, comments, patches, and code to @code{proofgen@@dcs.ed.ac.uk}. |