From 8a6074d9d540597d25e73d7fd99cc7512db5b4ec Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 20:33:08 +0000
Subject: Rewrote some history.  Fixed pg_email link.

---
 html/news.phtml | 52 +++++++++++++++++++++++++++-------------------------
 1 file changed, 27 insertions(+), 25 deletions(-)

(limited to 'html')

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.
-- 
cgit v1.2.3