diff options
| author | David Aspinall | 2000-03-13 05:14:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-13 05:14:23 +0000 |
| commit | 670761dd6bd6321d65beeacdc81d68c0a2ebe92b (patch) | |
| tree | 42cb0879a750de1af1122ab103272f305ad5902e /html/news.phtml | |
| parent | 5e9f920b0d834276ed2df4db60f95357460818bd (diff) | |
Updated web pages.
Diffstat (limited to 'html/news.phtml')
| -rw-r--r-- | html/news.phtml | 14 |
1 files changed, 13 insertions, 1 deletions
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 |