diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 14:33:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 14:33:50 +0000 |
| commit | 0f8a55cff4cbe629a9b669cbb63dce5fea9f61c6 (patch) | |
| tree | a5aec61fd696dcfe94eb54e793c3958d7f7953b1 /html/about.phtml | |
| parent | 397ba54871820625bc4f9d0a5098506bad99ffac (diff) | |
Mention Yves Bertot on about page
Diffstat (limited to 'html/about.phtml')
| -rw-r--r-- | html/about.phtml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/about.phtml b/html/about.phtml index cb9fdf29..6793fc15 100644 --- a/html/about.phtml +++ b/html/about.phtml @@ -9,11 +9,11 @@ and the code was made generic. </p> <p> -This generic basis for Proof General was further developed at the +This generic basis for Proof General was developed at the <a href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a> by Kleymann, Sequeira, Goguen and Aspinall (in order of appearance). -It follows some of the ideas used in -<a href="http://www.inria.fr/croap/">Project CROAP</a>. +Early on, Yves Bertot provided assistance, and Proof General follows +some of the ideas used in <a href="http://www.inria.fr/croap/">Project CROAP</a>. The authors and current maintainers of the various instantiations of Proof General are mentioned on the |