From fcb1bcf1885da22a1bd11feb491ff3c8431597c0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Oct 1999 17:32:04 +0000
Subject: Version 3.0 message

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

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index 936d9440..551c4bb9 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -4,24 +4,24 @@
 </p>
 
 <ul>
-<!-- <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>14th 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>12th October 1999</b><br>
  <p>
  I'm very grateful to 
-- 
cgit v1.2.3