From bd7aa7923a25d16207842f9f3d6b773c2fc6fa58 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 28 Sep 2000 15:01:50 +0000
Subject: Renamed file

---
 html/about.phtml | 56 --------------------------------------------------------
 1 file changed, 56 deletions(-)
 delete mode 100644 html/about.phtml

(limited to 'html/about.phtml')

diff --git a/html/about.phtml b/html/about.phtml
deleted file mode 100644
index 7641676d..00000000
--- a/html/about.phtml
+++ /dev/null
@@ -1,56 +0,0 @@
-<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://www.proofgeneral.org/~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 <?php link_root("main","front
-page.") ?>
-</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.phtml">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>
-
-
-<h2>Contact information</h2>
-
-<p>
-Have you any questions, comments, or suggestions about Proof General?
-<br>
-Send us a message using <a href="feedback.phtml">this form</a>.
-</p>
-
-<p>
-Discuss Proof General with other users and receive
-announcements by joining our <a href="mailinglist.phtml">mailing
-list</a>.
-</p>
-
-
-
-- 
cgit v1.2.3