From 102369a25f044ec8385d3bc0b8dd83aed9f6bfb8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Aug 2000 12:48:02 +0000
Subject: News updated

---
 html/news.phtml    | 54 +++++++-----------------------------------------------
 html/oldnews.phtml | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 59 insertions(+), 47 deletions(-)

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index 9c6911f9..279b9fbd 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -6,56 +6,16 @@
 </p>
 
 <ul>
-<li><b>25th May 2000</b>
+<li><b>28th Aug 2000</b>
 <p>
-Minor patch 3.1.6 released today.  This turns off toolbar enablers if
-you're running XEmacs on Solaris; because of strange Solaris problems,
-buttons are disabled too often there.  (You can live without
-this part of the patch by customizing the variable
-<tt>proof-toolbar-use-button-enablers</tt>). 
-The patch also removes 
-the use of an "interval timer" when 
-<tt>proof-toolbar-use-button-enablers</tt> is off, since a user 
-reported being unable to start itimers unless
-running as root (likely an operating system configuration problem).
-Thanks to Markus Wenzel and Pierre Lescanne for reporting problems.
+Testing phase for Proof General 3.2.  Please try out the 
+<a href="develdownload.phtml">pre-release</a>
+version of Proof General, and report any problems to us.
+Your feedback is very important because we have no resources
+available for serious compatibility testing ourselves.
 </p>
-<li><b>9th May 2000</b>
 <p>
-New! For developers, a web-browsable
-mirror of the Proof General cvs is available
-<a href="http://zermelo.dcs.ed.ac.uk/cgi-bin/cvsweb.cgi">here</a>.
-</p>
-<li><b>5th May 2000</b>
-<p>
-New!  
-Proof General <?php fileshow("ProofGeneral/FAQ", "FAQ");?>.
-Please send questions or suggestions for inclusion to
-<a href="mailto:proofgen@dcs.ed.ac.uk">proofgen@dcs.ed.ac.uk</a>,
-thanks.
-</p>
-<li><b>28th April 2000</b>
-<p>
-A minor patch to Proof General 3.1 is released today.  To check what
-version you have, look at the variable <tt>proof-general-version</tt>
-set in <tt>proof-site.el</tt>.  (It is not recorded in the tar file
-name or package version).  The current patch, to 3.1.4, was made to
-fix a problem with Isabelle and theory file retraction, accidently
-introduced in 3.1.  See <?php
-fileshow("ProofGeneral-3.1-devel/etc/release-log.txt","the developer's
-release log"); ?> for details.
-NB: This patch was first made on 4th April, but didn't quite solve the
-problem.  Thanks to Mike Squire for sending a patch to fix the fix.
-</p>
-<p>
-Further improvements are being introduced in the new 3.2 pre-releases,
-see the 
-<a href="develdownload.phtml">development download</a> page, as usual.
-</p>
-<li><b>23rd March 2000</b>
-<p>
-Proof General 3.1 is now available from the
-<?php link_root("download","download page") ?>.  Enjoy!
+We hope to release 3.2 by the end of September.
 </p>
 </li>
 </ul>
diff --git a/html/oldnews.phtml b/html/oldnews.phtml
index 182653f2..cff60a68 100644
--- a/html/oldnews.phtml
+++ b/html/oldnews.phtml
@@ -3,6 +3,58 @@
   small_header("Proof General Old News"); 
   ?>
 <ul>
+<li><b>25th May 2000</b>
+<p>
+Minor patch 3.1.6 released today.  This turns off toolbar enablers if
+you're running XEmacs on Solaris; because of strange Solaris problems,
+buttons are disabled too often there.  (You can live without
+this part of the patch by customizing the variable
+<tt>proof-toolbar-use-button-enablers</tt>). 
+The patch also removes 
+the use of an "interval timer" when 
+<tt>proof-toolbar-use-button-enablers</tt> is off, since a user 
+reported being unable to start itimers unless
+running as root (likely an operating system configuration problem).
+Thanks to Markus Wenzel and Pierre Lescanne for reporting problems.
+</p>
+<li><b>9th May 2000</b>
+<p>
+New! For developers, a web-browsable
+mirror of the Proof General cvs is available
+<a href="http://zermelo.dcs.ed.ac.uk/cgi-bin/cvsweb.cgi">here</a>.
+</p>
+<li><b>5th May 2000</b>
+<p>
+New!  
+Proof General <?php fileshow("ProofGeneral/FAQ", "FAQ");?>.
+Please send questions or suggestions for inclusion to
+<a href="mailto:proofgen@dcs.ed.ac.uk">proofgen@dcs.ed.ac.uk</a>,
+thanks.
+</p>
+<li><b>28th April 2000</b>
+<p>
+A minor patch to Proof General 3.1 is released today.  To check what
+version you have, look at the variable <tt>proof-general-version</tt>
+set in <tt>proof-site.el</tt>.  (It is not recorded in the tar file
+name or package version).  The current patch, to 3.1.4, was made to
+fix a problem with Isabelle and theory file retraction, accidently
+introduced in 3.1.  See <?php
+fileshow("ProofGeneral-3.1-devel/etc/release-log.txt","the developer's
+release log"); ?> for details.
+NB: This patch was first made on 4th April, but didn't quite solve the
+problem.  Thanks to Mike Squire for sending a patch to fix the fix.
+</p>
+<p>
+Further improvements are being introduced in the new 3.2 pre-releases,
+see the 
+<a href="develdownload.phtml">development download</a> page, as usual.
+</p>
+<li><b>23rd March 2000</b>
+<p>
+Proof General 3.1 is now available from the
+<?php link_root("download","download page") ?>.  Enjoy!
+</p>
+</li>
 <li><b>14th March 2000</b>
 <p>
 Release candidate for Proof General 3.1 available.
-- 
cgit v1.2.3