diff options
| author | David Aspinall | 1999-11-25 17:24:56 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-25 17:24:56 +0000 |
| commit | f7d5616f0570daac9596f8ea5aaeddd4b1054cc4 (patch) | |
| tree | b58f80d9e7eb97e54bb28c57307b92201968d83b /doc | |
| parent | e5556990a363172803204a298ce1e8e8f086dde9 (diff) | |
Fixed credits list.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 6 |
1 files changed, 3 insertions, 3 deletions
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! |