From e5021238a2548c747906df479df8efd3fe3673ab Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 11 Oct 2010 00:36:55 +0000
Subject: Add Adam Megacz to credits

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

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 66b18264..b30e8643 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -366,6 +366,7 @@ Pierre Lescanne,
 John Longley,
 Erik Martin-Dorel,
 Assia Mahboubi,
+Adam Megacz,
 Stefan Monnier,
 Tobias Nipkow, 
 Leonor Prensa Nieto, 
-- 
cgit v1.2.3