Deleted file

1 files changed, 0 insertions, 54 deletions

diff --git a/html/about.html b/html/about.html
deleted file mode 100644
index 2c8e03db..00000000
--- a/html/about.html
+++ /dev/null
@@ -1,54 +0,0 @@
-<h2>Contact information</h2>
-
-<p>
-Have you any questions, comments, or suggestions about Proof General?
-<br>
-Send us a message using <a href="feedback">this form</a>
-or by email to 
-<?php mlinktxt($project_feedback, "$project_feedback"); ?>.
-<br>
-Receive announcements and discuss Proof General on 
-our <a href="mailinglist">mailing
-list</a>.
-</p>
-
-<h2>About the Proof General project</h2>
-<p>
-The forefather of Proof General was LEGO mode, begun in 1994 at the <a
-href="http://www.lfcs.informatics.ed.ac.uk">LFCS</a> by Thomas Kleymann.  LEGO
-mode was an Emacs-based front end for LEGO similar to David Aspinall's
-<a href="http://homepages.inf.ed.ac.uk/da/Isamode">Isamode</a>,
-developed at the LFCS since 1992.  After 1994, implementations of
-proof-by-pointing and script management were added to LEGO mode, and
-the code was made generic.  The generic basis was developed by
-Thomas Kleymann, Dilip Sequeira, Healfdene Goguen and David Aspinall.
-The current authors and maintainers of the various instantiations of
-Proof General are mentioned on the 
-<a href="main">front page</a>.
-</p>
-<p> 
-The Proof General project was coordinated until October 1998 by
-Thomas Kleymann, and since then by David Aspinall.  The project has
-benefited from funding by 
-<!-- this link is broken: <a href="http://www.dcs.ed.ac.uk/lfcs/research/logic_and_proof/attbpa.html"> -->
-EPSRC, 
-<!-- (Applications of a Type Theory based Proof Assistant) -->
-<!-- </a>, -->
-the <a
-href="http://www.dcs.ed.ac.uk/lfcs/research/types_bra/index.html">EC</a>,
-and the <a href="http://www.lfcs.informatics.ed.ac.uk">LFCS</a>.
-</p>
-
-<p>
-David Aspinall designed the web pages and graphics for Proof General.
-<br>
-Check the <a href="gallery">gallery</a> for more publicity
-pictures!
-</p>
-<p>
-For more on the history of the development of
-the Proof General program, see the 
-<?php htmlshow("ProofGeneral/doc/ProofGeneral_1.html#SEC3","manual preface.","","html") ?>
-</p>
-
-<?php include('links.html') ?>