From f7d5616f0570daac9596f8ea5aaeddd4b1054cc4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 Nov 1999 17:24:56 +0000
Subject: Fixed credits list.

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

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index f9ae7ecf..02a88a26 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -399,9 +399,9 @@ go to Pascal Brisset, Rod Burstall, Martin Hofmann, and James McKinna.
 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, Matt Fairtlough, David
-von Oheimb, Leonor xxx, and Tobias Nipkow.  Thanks to all of you!
-
+helpfully tested and reported on pre-releases, including Matt
+Fairtlough, Tobias Nipkow, Leonor Prensa-Nieto, and David von Oheimb.
+Thanks to all of you!
 
 
 
-- 
cgit v1.2.3