diff options
Diffstat (limited to 'html')
-rw-r--r-- | html/develdownload.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/develdownload.php b/html/develdownload.php index e50f492e..6188186d 100644 --- a/html/develdownload.php +++ b/html/develdownload.php @@ -81,8 +81,8 @@ 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 +because backwards compatibility across different Emacs versions is far +too difficult to support. If you cannot upgrade your Emacs, consider using an <a href="oldrel.php">older release</a> of Proof General. </p> <p> |