From bc1787402c76dccc0767199ed04a1ec9730a0a38 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Aug 2000 15:18:59 +0000
Subject: Fix description of manual now broken into two

---
 doc/ProofGeneral.texi | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index e28a6a1f..3527fc1e 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -794,16 +794,16 @@ everything!  Here are some useful commands:
 @node Organization of this manual
 @section Organization of this manual
 
-About half of this manual covers the user-level view and customization
-of Proof General.  The other half considers adapting Proof General to
-new proof assistants, and documents some of the internals of Proof
-General.  
-
-Three final appendices contain some details about obtaining and
-installing Proof General, some known bugs, and some future plans.  The
-contents of these final chapters is also covered in the files
-@file{INSTALL}, @file{BUGS}, and @file{TODO}, contained in the
-distribution.
+This manual covers the user-level view and customization of Proof
+General.  The accompanying @i{Adapting Proof General} manual considers
+adapting Proof General to new proof assistants, and documents some of
+the internals of Proof General.
+
+Three appendices of this manual contain some details about obtaining and
+installing Proof General and some known bugs.  The contents of these
+final chapters is also covered in the files @file{INSTALL} and
+@file{BUGS} contained in the distribution.  Refer to those files
+for the latest information.
 
 The manual concludes with some references and indexes.  See the table of
 contents for full details.
-- 
cgit v1.2.3