diff options
| author | David Aspinall | 1999-11-29 18:04:21 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-29 18:04:21 +0000 |
| commit | 77c695aaac4057c29ec78036990f9d97fdaa5a17 (patch) | |
| tree | 113a28f0f35a6cf37aba0fe69227a5ca7d4c5020 | |
| parent | 04851498f214ebc3abc9301afc10dfeb657a170b (diff) | |
Added John's name to the credits
| -rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files 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! |