diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-10-24 12:45:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-10-24 12:45:26 +0000 |
| commit | a79c8f750aa63df105d43a8bcfc1eed894515d02 (patch) | |
| tree | 5091267d251d784bb15295f1fbb6768254ea3fef /html/main.html | |
| parent | fdc23522eb9764d6a9d21ea34d657f1a302822ca (diff) | |
Fix missing arg to get.
Add Paul Roziere as req'd by Christopphe Raffalli
Diffstat (limited to 'html/main.html')
| -rw-r--r-- | html/main.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/html/main.html b/html/main.html index eaea379d..72c3f1a0 100644 --- a/html/main.html +++ b/html/main.html @@ -117,6 +117,8 @@ Proof General comes ready-customized for these proof assistants: <div style="font-size: smaller"> Crafted and maintained by <a href="http://www.lama.univ-savoie.fr/~RAFFALLI">Christophe Raffalli</a> + and + <a href="mailto:roziere@logique.jussieu.fr">Paul Roziere</a>. </div> </td> </tr> |