diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-28 15:01:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-28 15:01:50 +0000 |
| commit | bd7aa7923a25d16207842f9f3d6b773c2fc6fa58 (patch) | |
| tree | 8f5733bf63e8c880e65472b3ebf745b1026698e3 /html/about.phtml | |
| parent | 2c253444d0b93cf7628ab030e6a5f1ad24fa20fd (diff) | |
Renamed file
Diffstat (limited to 'html/about.phtml')
| -rw-r--r-- | html/about.phtml | 56 |
1 files changed, 0 insertions, 56 deletions
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> - - - |