From 04fa095c8247c748571a5d28272fcbc3305556ff Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Dec 1998 18:06:06 +0000
Subject: Changed title of Chap 10.

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}.
 
-- 
cgit v1.2.3