diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-16 01:37:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-16 01:37:56 +0000 |
| commit | 5783146630ae36fece8ca48039c0cfba68e4f5c5 (patch) | |
| tree | 5250f8e4d36b2a8c3b6b6f78a4a36d60ca46372f /html | |
| parent | 50af258fe0d8fe24bab10fb206a787e1d4dafeac (diff) | |
Updated.
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> |