diff options
author | 2000-07-12 12:49:01 +0000 | |
---|---|---|
committer | 2000-07-12 12:49:01 +0000 | |
commit | dbc0f6378eed4eed1405f4527e1610a0806344ef (patch) | |
tree | 0c4adf462441d89e73c2b31332e62687b137274b /html/about.phtml | |
parent | b810678b73308e26141009dab70b2f3e53e3cb63 (diff) |
Minor updates
Diffstat (limited to 'html/about.phtml')
-rw-r--r-- | html/about.phtml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/html/about.phtml b/html/about.phtml index 18ad95f1..fe139990 100644 --- a/html/about.phtml +++ b/html/about.phtml @@ -8,10 +8,7 @@ mode was an Emacs-based front end for LEGO similar to David Aspinall's 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 -Kleymann, Sequeira, Goguen and Aspinall (in order of appearance). -Yves Bertot provided assistance with proof-by-pointing, and Proof -General follows some of the ideas used in <a -href="http://www.inria.fr/croap/">Project CROAP</a>. +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.") ?> |