diff options
Diffstat (limited to 'html/oldnews.phtml')
| -rw-r--r-- | html/oldnews.phtml | 52 |
1 files changed, 52 insertions, 0 deletions
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. |