diff options
author | 2003-02-15 15:01:02 +0000 | |
---|---|---|
committer | 2003-02-15 15:01:02 +0000 | |
commit | 4fc72eb7519566d62425acdcc1e30871c67a2af0 (patch) | |
tree | e6ce707c360d97a911d79cbf92852fd88c16a5d2 /html | |
parent | 1b5cb37ff28fcaad44b3b41451bed997258f3592 (diff) |
Link to CHANGES for comment on versions.
Diffstat (limited to 'html')
-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 |