From ce2413d4ba78cacb8d5e098ed1421456bb811e53 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:14:22 +0000
Subject: Moved to use .html instead of .phtml
---
html/news.html | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
(limited to 'html/news.html')
diff --git a/html/news.html b/html/news.html
index f717ad77..ad738bd7 100644
--- a/html/news.html
+++ b/html/news.html
@@ -7,7 +7,7 @@
Final week of testing for Proof General 3.2.
The last chance to report bugs or request (minor) improvements for this release.
Please help us by trying out the
-pre-release, especially if you are
+pre-release, especially if you are
relying on an older or non-standard Emacs version.
Also check to see if the new
manuals are useful: now split into
@@ -26,7 +26,7 @@ or
14th Sep 2000
Improvements to web pages. Graphics made smaller, text more concise.
-Please
+Please
for further improvements.
(I know some pages display poorly in Netscape 4.7x because
of patchy stylesheet support; they appear much better in IE5
@@ -36,7 +36,7 @@ or the rather impressive recent versions of KDE's Konqueror).
We're starting the testing phase for Proof General 3.2.
It has several new features and improvements.
-Please try out the pre-release
+Please try out the pre-release
version, and report any problems to us. Your
feedback is very important because we have no resources available for
serious compatibility testing ourselves.
@@ -52,7 +52,7 @@ We hope to release 3.2 by the end of September.
News items by David Aspinall.
-Click here for old news.
+Click here for old news.
--
cgit v1.2.3