Renamed file

1 files changed, 0 insertions, 59 deletions

diff --git a/html/news.phtml b/html/news.phtml
deleted file mode 100644
index f717ad77..00000000
--- a/html/news.phtml
+++ /dev/null
@@ -1,59 +0,0 @@
-<h2>News about Proof General</h2>
-
-
-<ul>
-<li><b>25th Sep 2000</b>
-<p>
-Final week of testing for Proof General 3.2.  
-The last chance to report bugs or request (minor) improvements for this release.
-Please help us by trying out the 
-<a href="develdownload.phtml">pre-release</a>, especially if you are
-relying on an older or non-standard Emacs version.
-Also check to see if the new 
-manuals are useful: now split into
-the user manual in
-<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General manual") ?>,
-<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "ps") ?> 
-or  
-<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?>,
-and the separate "adapting" manual, in
-<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>,
-<?php download_link("ProofGeneral/doc/PG-adapting.ps.gz", "ps") ?> 
-or  
-<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>.
-(Info files are included in the distribution).
-</p>
-<li><b>14th Sep 2000</b>
-<p>
-Improvements to web pages.  Graphics made smaller, text more concise.
-Please <?php hlink("feedback.phtml","send me suggestions ","Feedback form")?>
-for further improvements.
-(I know some pages display poorly in Netscape 4.7x because 
-of patchy stylesheet support; they appear much better in IE5
-or the rather impressive recent versions of KDE's Konqueror).
-</p>
-<li><b>28th Aug 2000</b>
-<p>
-We're starting the testing phase for Proof General 3.2.  
-It has several new features and improvements.
-Please try out the <a href="develdownload.phtml">pre-release</a>
-version, and report any problems to us.  Your
-feedback is very important because we have no resources available for
-serious compatibility testing ourselves.
-</p>
-<p>
-We hope to release 3.2 by the end of September.
-</p>
-</li>
-</ul>
-<p>
-<!-- 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 by <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.</i>
-<br>
-<i>Click <a href="oldnews.phtml">here</a> for old news.</i>
-</p>
-
-
-