From 670761dd6bd6321d65beeacdc81d68c0a2ebe92b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Mar 2000 05:14:23 +0000
Subject: Updated web pages.

---
 html/news.phtml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'html/news.phtml')

diff --git a/html/news.phtml b/html/news.phtml
index 9131d56b..579c424c 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -6,15 +6,26 @@
 </p>
 
 <ul>
+<li><b>14th March 2000</b>
+<p>
+Release candidate for Proof General 3.1 available.
+Pre-releases from now on are release candidates for version 3.1.
+Please test and report any problems you find
+(check the CHANGES and BUGS lists for issues known about
+and/or resolved).  Version 3.1 should be released next week.
+</p>
+</li>
 <li><b>10th March 2000</b>
 <p>
 New: <b>HOL Proof General</b>!
 It took me only a couple of hours to add a basic instantiation of
-ProofGeneral for <a href="http://www.cl.cam.ac.uk/HVG/HOL/HOL.html">HOL98</a>.
+ProofGeneral for 
+<a href="http://www.cl.cam.ac.uk/Researc/HVG/HOL/HOL.html">HOL98</a>.
 Most of this time was in trying to find out how to do things in HOL,
 I could have done with a HOL user to hand.  But I thought it was high time
 HOL got a look-in.
 </p>
+<p>
 HOL Proof General provides script management support, automatic
 multiple files, decoration of proof scripts and output.
 Character-sequence X Symbols as in Coq and LEGO.  Although this is a
@@ -30,6 +41,7 @@ instantiation myself.
 The HOL support is shipping in the 
 current <a href="develdownload.phtml">development release</a>.
 </p>
+</li>
 <li><b>15th February 2000</b>
 <p>
 There is now a new 
-- 
cgit v1.2.3