From 5783146630ae36fece8ca48039c0cfba68e4f5c5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 16 Feb 2003 01:37:56 +0000
Subject: Updated.

---
 html/develdownload.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html')

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>
-- 
cgit v1.2.3