diff options
| author | David Aspinall | 2002-06-08 12:36:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-08 12:36:20 +0000 |
| commit | f89b20c5d5fb332581d67f4d689a22e8ef95f02f (patch) | |
| tree | c2028928b52d3df73586c081a8d02e7c19c59908 | |
| parent | dc8228180888ee719a13e7903490b8b247983bf1 (diff) | |
Mention not supporting E21
| -rw-r--r-- | html/download.html | 5 |
1 files changed, 4 insertions, 1 deletions
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 <tt>rpm -ta</tt>. 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 <b>not</b> support +GNU Emacs 21.x, please try out a <a href="develdownload.html">development release</a> +instead. </p> <p> Check the <?php fileshow("ProofGeneral-3.3/CHANGES","CHANGES"); ?> file |