From a377479a7228bc45f065cd10fe69aec51dc5ce5a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Sep 2000 13:31:05 +0000
Subject: Updates

---
 html/news.phtml | 22 ++++++++++++++++------
 1 file changed, 16 insertions(+), 6 deletions(-)

(limited to 'html/news.phtml')

diff --git a/html/news.phtml b/html/news.phtml
index 621ada5c..f198808e 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -1,11 +1,16 @@
-<p>
-<!-- da: Put this line in instead if you're not me -->
-<!-- <i>(News items entered by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a> -->
-<!--     unless noted.)</i> -->
-<i>News items by <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.</i>
-</p>
+<h2>News about Proof General</h2>
+
 
 <ul>
+<li><b>14th Sep 2000</b>
+<p>
+Improvements to web pages.  Graphics made smaller, text more concise.
+Please <?php hlink("feedback.phtml","send me suggestions ","Feedback form")?>
+for further improvements.
+(I know some pages display poorly in Netscape 4.7x because 
+of patchy stylesheet support; they appear much better in IE5
+or the rather impressive recent versions of KDE's Konqueror).
+</p>
 <li><b>28th Aug 2000</b>
 <p>
 We're starting the testing phase for Proof General 3.2.  
@@ -21,6 +26,11 @@ We hope to release 3.2 by the end of September.
 </li>
 </ul>
 <p>
+<!-- da: Put this line in instead if you're not me -->
+<!-- <i>(News items entered by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a> -->
+<!--     unless noted.)</i> -->
+<i>News items by <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.</i>
+<br>
 <i>Click <a href="oldnews.phtml">here</a> for old news.</i>
 </p>
 
-- 
cgit v1.2.3