From 5e025207c2c00d4bd0dbde91403627cb8b89713c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Sep 2001 10:34:41 +0000
Subject: Another bug reporter

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 3abe0ea5..0b5277ac 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -583,6 +583,7 @@ Tobias Nipkow,
 Leonor Prensa Nieto, 
 David von Oheimb,
 Randy Pollack,
+Robert R. Schneck,
 Sebastian Skalberg,
 and
 Mike Squire.  Thanks to all of you!
-- 
cgit v1.2.3