From a79c8f750aa63df105d43a8bcfc1eed894515d02 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 24 Oct 2001 12:45:26 +0000
Subject: Fix missing arg to get. Add Paul Roziere as req'd by Christopphe
 Raffalli

---
 html/main.html | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'html')

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>
-- 
cgit v1.2.3