From cc1bbad6b4defef7a728de226f7f1ee17cfcce17 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 14 Sep 2011 11:09:17 +0000
Subject: Add another contributor.

---
 doc/ProofGeneral.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 3f61bb43..bade2ed4 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -333,13 +333,14 @@ features for Coq support.
 
 
 @c FIXME: watch contributors here!
-During the development of Proof General 3.x and 4.0 releases, 
+During the development of Proof General 3.x and 4.x releases, 
 many people helped provide testing and other feedback, 
 including the Proof General maintainers,
 Paul Callaghan, Pierre Courtieu, and Markus Wenzel, 
 Stefan Berghofer, Gerwin Klein, and other folk who
 tested pre-releases or sent bug reports and patches, including 
 Cuihtlauac Alvarado,
+Esben Andreasen,
 Lennart Beringer,
 Pascal Brisset,
 James Brotherston,
-- 
cgit v1.2.3