From f89b20c5d5fb332581d67f4d689a22e8ef95f02f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 8 Jun 2002 12:36:20 +0000 Subject: Mention not supporting E21 --- html/download.html | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'html') diff --git a/html/download.html b/html/download.html index ee94ef94..45537fa4 100644 --- a/html/download.html +++ b/html/download.html @@ -84,7 +84,10 @@ from the source tarball using rpm -ta. This version of Proof General has been tested with XEmacs 21.4 and (briefly with) GNU Emacs 20.7. It supports earlier versions of both Emacsen, but -we recommend using the latest versions available. +we recommend using these versions. +This version of Proof General does not support +GNU Emacs 21.x, please try out a development release +instead.

Check the file -- cgit v1.2.3