From 65454e9635fc315f2bce76bdc21eb4cafcb00dd1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 19:41:17 +0000
Subject: Credit Mitsuharu Yamamoto.

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 05a9bf52..a544321a 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -392,7 +392,8 @@ Norbert Schirmer,
 Sebastian Skalberg,
 Mike Squire, 
 Norbert Voelker,
-Tjark Weber.
+Tjark Weber
+Mitsuharu Yamamoto.
 
 Thanks to all of you (and apologies to anyone missed).
 
-- 
cgit v1.2.3