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/oldnews.phtml | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)

(limited to 'html/oldnews.phtml')

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