From 9bdaabc103031eb58f94f67eae510ce56a67ff7e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 16:17:53 +0000
Subject: Add Stefan Monnier

---
 doc/ProofGeneral.texi | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index dafebb1c..067add42 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -355,6 +355,7 @@ Kim Hyung Ho,
 Greg O'Keefe,
 Pierre Lescanne,
 John Longley, 
+Stefan Monnier,
 Tobias Nipkow, 
 Leonor Prensa Nieto, 
 David von Oheimb,
-- 
cgit v1.2.3