diff options
| -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}. |