diff options
Diffstat (limited to 'html/develdownload.php')
| -rw-r--r-- | html/develdownload.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/html/develdownload.php b/html/develdownload.php index b1a708c2..e50f492e 100644 --- a/html/develdownload.php +++ b/html/develdownload.php @@ -77,7 +77,9 @@ version, and notes about work-in-progress. </p> <p> <b>Emacs versions:</b> This version has been tested with XEmacs version 21.4.8 and with GNU -Emacs 21.2.1. XEmacs support is better tested. Older releases of Emacs +Emacs 21.2.1. XEmacs support is better tested, please check +<?php fileshow("ProofGeneral-3.5pre030204/CHANGES","CHANGES"); ?> +for detailed notes. Older releases of Emacs <i>may</i> work, but we recommend the use of these or newer versions because backwards compatibility across different Emacs versions is too difficult to support. If you cannot upgrade your Emacs, consider |