From b49f62737f0d6f98cabd06e9f53d656699b95c06 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 2 Oct 1998 14:47:11 +0000
Subject: Removed Emacs versions to more transient place

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

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 36b30c64..76ead853 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -43,7 +43,7 @@ Copyright @copyright{} 1997, 1998 Proof General team, LFCS Edinburgh
 @comment node-name, next,          previous, up
 
 @b{Proof General} is a generic Emacs interface for proof assistants. It
-works ideally under XEmacs 20.4, but can also be used with Emacs 19.34.
+works ideally under XEmacs, but can also be used with Emacs 19.
 It is supplied ready-customised for these proof assistants:
 
 @itemize @bullet
-- 
cgit v1.2.3