From 1d677e46e12f4e243b89478f84b47bfdf96b3c14 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Aug 2000 12:32:59 +0000
Subject: 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.
---
 doc/README.doc | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'doc/README.doc')

diff --git a/doc/README.doc b/doc/README.doc
index 94800146..b96c85bf 100644
--- a/doc/README.doc
+++ b/doc/README.doc
@@ -10,13 +10,13 @@ your convenience.  Otherwise you will need to run
 	make html
 
 according to what format you'd like.  Everything is generated
-from the master Texinfo file ProofGeneral.texi, so you'll
-need the proper tools for conversion.  Check the Makefile
+from the master Texinfo files ProofGeneral.texi and PG-adapting.texi,
+so you'll need the proper tools for conversion.  Check Makefile.doc
 for details.
 
 Front Image for Manual
 ----------------------
-If you want a front image on the printed dvi/gs manual, you need to
+If you want a front image on the printed dvi/gs manuals, you need to
 have the ProofGeneral.eps file in this directory.  You can download a
 compressed version from
 
@@ -35,4 +35,4 @@ Running "made dvi" will adjust the Texinfo file to make the front
 page blank if there is no ProofGeneral.eps file available.
 
 David Aspinall.
-August 1999.
+August 2000.
-- 
cgit v1.2.3