From bd7aa7923a25d16207842f9f3d6b773c2fc6fa58 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:01:50 +0000
Subject: Renamed file

---
 html/news.html | 59 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 59 insertions(+)
 create mode 100644 html/news.html

(limited to 'html/news.html')

diff --git a/html/news.html b/html/news.html
new file mode 100644
index 00000000..f717ad77
--- /dev/null
+++ b/html/news.html
@@ -0,0 +1,59 @@
+<h2>News about Proof General</h2>
+
+
+<ul>
+<li><b>25th Sep 2000</b>
+<p>
+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 
+<a href="develdownload.phtml">pre-release</a>, 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
+the user manual in
+<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General manual") ?>,
+<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "ps") ?> 
+or  
+<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?>,
+and the separate "adapting" manual, in
+<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>,
+<?php download_link("ProofGeneral/doc/PG-adapting.ps.gz", "ps") ?> 
+or  
+<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>.
+(Info files are included in the distribution).
+</p>
+<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.  
+It has several new features and improvements.
+Please try out the <a href="develdownload.phtml">pre-release</a>
+version, and report any problems to us.  Your
+feedback is very important because we have no resources available for
+serious compatibility testing ourselves.
+</p>
+<p>
+We hope to release 3.2 by the end of September.
+</p>
+</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