diff options
author | 1999-11-17 20:33:08 +0000 | |
---|---|---|
committer | 1999-11-17 20:33:08 +0000 | |
commit | 8a6074d9d540597d25e73d7fd99cc7512db5b4ec (patch) | |
tree | 24e18352fa010fbd8844471cc4a9023189067bd1 | |
parent | a5902e2bd0c52d05f8321372441870180735ca03 (diff) |
Rewrote some history. Fixed pg_email link.
-rw-r--r-- | html/news.phtml | 52 |
1 files changed, 27 insertions, 25 deletions
diff --git a/html/news.phtml b/html/news.phtml index 774da996..19f7c23c 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -2,32 +2,36 @@ <!-- da: Put this line in instead if you're not me --> <!-- <i>(News items entered by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a> --> <!-- unless noted.)</i> --> -<i>(News items entered by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall)</a></i> +<i>(News items by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>)</i> </p> <ul> <li><b>17th November 1999</b><br> <p> - New! With Proof General 3.0, adapting to a new prover is easier - than ever before! - It includes an - <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el", "example instance"); ?> - of Proof General for Isabelle, which - configures the main core of the interface with less than 30 lines of - code. Not bad for getting about 4000 lines worth of code from it! +Proof General 3.0 is currently in final testing, and will be released +in a small number of days. Please help me with this by testing the +current <a href="devel.phtml">pre-release</a>, so I can iron out as +many bugs as possible before making the release. It's very easy to +install or upgrade Proof General, so it shouldn't be much effort to +test it quickly. Particularly if you're already running an earlier +version. </p> -<li><b>15th November 1999</b><br> +<li><b>16th November 1999</b><br> <p> -Proof General 3.0 is currently in testing, and will be released later -this week. In the meantime, please send feedback on -current pre-releases! +New! With Proof General 3.0, adapting to a new prover is easier +than ever before! +It includes an + <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el", "example instance"); ?> +of Proof General for Isabelle, which +configures the main core of the interface with less than 30 lines of +code. Not bad for getting about 4000 lines worth of code in benefit! </p> <li><b>9th November 1999</b><br> <p> Isabelle 99 was released last week, and Proof General 3.0 should be ready for release in the next week or so. In the meantime, please use the current -<a href="download.phtml#prerel">pre-release</a> +<a href="devel.phtml">pre-release</a> for Isabelle 99. </p> <p> @@ -73,21 +77,19 @@ support implemented. </p> <li><b>1st October 1999</b><br> <p> - Recently there has been a flurry of work on the next version of Proof General. <br> - It has quite a number of improvements (see - the <?php fileshow("ProofGeneral/CHANGES","CHANGES"); ?> file), made - by myself and Markus Wenzel. <br> - The next version is aimed to coincide - (or perhaps pre-empt) the release of Isabelle 99. + Recently there has been a flurry of work on the next version of Proof + General. It has quite a number of improvements (see the <?php + fileshow("ProofGeneral/CHANGES","CHANGES"); ?> file), made by myself + and Markus Wenzel. <br> The next version is aimed to coincide (or + perhaps pre-empt) the release of Isabelle 99. </p> <p> At the moment we <b>urgently need</b> somebody from the Coq world to - maintain and improve Coq Proof General,<br> since Patrick Loiseleur - can no longer work on it. <br> + maintain and improve Coq Proof General, since Patrick Loiseleur + can no longer work on it. Support from the Coq community is vital for Proof General to - be a useful tool there. <br> - <a href="feedback.phtml">Please offer to help</a>, it needn't be - heavy commitment. + be a useful tool there. <a href="feedback.phtml">Please offer to help</a>, + it needn't be a heavy commitment. </p> <li><b>13th September 1999</b><br> <p> @@ -142,7 +144,7 @@ support implemented. </p> <p> Please explore the new web pages and report any problems - or suggestions to <?php pg_email() ?>. + or suggestions to <?php project_email() ?>. Please also try out the latest pre-release of Proof General, this is the final chance to get fixes and tweaks sorted before 2.1. |