From 77c695aaac4057c29ec78036990f9d97fdaa5a17 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 Nov 1999 18:04:21 +0000
Subject: Added John's name to the credits

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 6a1223f2..1d7d5f55 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -400,8 +400,8 @@ During the development of Proof General 3.0, many people helped provide
 testing and other feedback, including the Proof General maintainers,
 Paul Callaghan, Pierre Courtieu, and Markus Wenzel, and other folk who
 helpfully tested and reported on pre-releases, including Matt
-Fairtlough, Tobias Nipkow, Leonor Prensa-Nieto, and David von Oheimb.
-Thanks to all of you!
+Fairtlough, John Longley, Tobias Nipkow, Leonor Prensa-Nieto, and David
+von Oheimb.  Thanks to all of you!
 
 
 
-- 
cgit v1.2.3