From 52f06e610ff0c0b246416d0822dfff7f0a73e172 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 16:34:02 +0000
Subject: News later this month.

---
 html/news.phtml | 38 +++++++++++++++++++-------------------
 1 file changed, 19 insertions(+), 19 deletions(-)

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index 332d7da2..7f6b1795 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -1,22 +1,22 @@
 <ul>
-<li><b>6th October 1999</b><br>
- <p>
- The next version of Proof General will be 3.0.
- </p>
- <p>
- There have been significant changes to the core of 
- Proof General and many improvements in the code.
- Extra features have been added, and the ones already
- there improved upon.  Usability has been a particular
- focus.  Adding new provers has been made easier.
- Installation will be made even easier.
- All of these changes warrant moving to a major release.
- </p>
- <p>
- Version 3.0 is planned for release in November.
- Please test a Version 3.0 pre-release if you can
- and report any problems.
- </p>
+<!-- <li><b>xxth October 1999</b><br> -->
+<!--  <p> -->
+<!--  The next version of Proof General will be 3.0. -->
+<!--  </p> -->
+<!--  <p> -->
+<!--  There have been significant changes to the core of  -->
+<!--  Proof General and many improvements in the code. -->
+<!--  Extra features have been added, and the ones already -->
+<!--  there improved upon.  Usability has been a particular -->
+<!--  focus.  Adding new provers has been made easier. -->
+<!--  Installation will be made even easier. -->
+<!--  All of these changes warrant moving to a major release! -->
+<!--  </p> -->
+<!--  <p> -->
+<!--  Version 3.0 is planned for release in November. -->
+<!--  Please test a Version 3.0 pre-release if you can -->
+<!--  and report any problems. -->
+<!--  </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>  
@@ -28,7 +28,7 @@
  </p>
  <p>
  At the moment we <b>urgently need</b> somebody from the Coq world to
- maintain and improve Coq Proof General, since Patrick Loiseleur 
+ maintain and improve Coq Proof General,<br> since Patrick Loiseleur 
  can no longer work on it.  <br>
  Support from the Coq community is vital for Proof General to
  be a useful tool there. <br>
-- 
cgit v1.2.3