Deleted file

1 files changed, 0 insertions, 60 deletions

diff --git a/html/news.html b/html/news.html
deleted file mode 100644
index f3e0068f..00000000
--- a/html/news.html
+++ /dev/null
@@ -1,60 +0,0 @@
-<h2>News about Proof General</h2>
-
-<ul>
-<li><b>11th December 2003</b>
-<p>
-Please <b>update your links!</b>.  The server <tt>zermelo.dcs.ed.ac.uk</tt>
-hosting Proof General for the last 5 years has now been retired.
-Moroever, the Proof General .org domain has been poached from us.
-</p>
-<p>
-Please refer to the web site using the URL
-<b><a href="http://proofgeneral.inf.ed.ac.uk">proofgeneral.inf.ed.ac.uk</a></b>
-and do not send any email to the old .org addresses (contact 
-David Aspinall directly).  Also, beware that the old addresses are built
-into the help function of Proof General and the bug reporting commands.
-Please download the upcoming pre-release (available soon) 
-which has offending addresses removed.
-</p>
-</li>
-
-<li><b>25th September 2003</b>
-<p>
-There is a new <a href="develdownload">development</a> version of
-Proof General released today.  There are some minor fixes, and an
-updated version of X-Symbol bundled.  Please test it and let me know
-how you get on.  It would be nice to release the final version 3.5 at
-last.
-</p>
-The <a href="kit">Proof General Kit</a> page has been
-updated to mention current development efforts.
-</p>
-<p>
-Anonymous access to the Proof General CVS repository is now available!
-Details are <a href="devel">here</a>.
-</p>
-</li>
-
-<li><b>29th August 2002</b>
-<p>
-<i>Proof General 3.4 is released.  Happy Proving!</i>
-<br>
-Go to the <a href="download">download page</a> to get it.
-<br>
-Please report any problems to <a href="mailto:da+pg-support@inf.ed.ac.uk"><tt>da+pg-support@inf.ed.ac.uk</tt></a>.
-</p>
-<li><b>1st July 2002</b>
-<p>
-Good news!  The license conditions for Proof General will shortly be
-changed to the <a href="http://www.gnu.org/copyleft/gpl.html">GPL</a>.
-This relaxes the current conditions in several ways, in particular,
-allowing packaging and distribution of the code by others.
-</p>
-</li>
-
-</ul>
-<!-- da: Put this line in instead if you're not me -->
-<!-- <i>(News items entered by <a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a> -->
-<!--     unless noted.)</i> -->
-<i>News items by <a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>.</i>
-<i>Click <a href="oldnews.html">here</a> for old news.</i>