From 1cf453fdb1e5b73879016c3847b0c0901709b357 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 14:06:07 +0000
Subject: Added mention of user documentation.

---
 etc/announce | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/etc/announce b/etc/announce
index a93b17e4..3b205b53 100644
--- a/etc/announce
+++ b/etc/announce
@@ -51,11 +51,12 @@ To users of LEGO, Coq, and Isabelle:
 This release of Proof General should be stable enough for you to use
 happily.  Please try it and let us know what you think of it!
 
-We have put a lot of work into making Proof General robust and easy to
-install.  Ideally you should use it with XEmacs, but it also works
-with limited features in FSF Emacs.  We have tested on XEmacs 20.4 and
-Emacs 20.2, 20.3.  (It probably works with earlier versions of either
-Emacs but we cannot guarantee this).
+We have put a lot of work into the user documentation for Proof
+General and making it robust and easy to install.  Ideally you should
+use it with XEmacs, but it also works with limited features in FSF
+Emacs.  We have tested on XEmacs 20.4 and Emacs 20.2, 20.3.  (It
+probably works with earlier versions of either Emacs but we cannot
+guarantee this).
 
 To users of other proof assistants:
 -----------------------------------
-- 
cgit v1.2.3