diff options
| author | David Aspinall | 2000-06-19 16:33:53 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-19 16:33:53 +0000 |
| commit | f6f885e56f7a1351f9c1dcc3a76a47d0c4ec0e29 (patch) | |
| tree | 46ae3dd14233361bf923cd6fbbc39b472214fc37 /doc | |
| parent | 8d4028b7e7b88596e572fd58116129201433b0a2 (diff) | |
Updated list of helpers. Typo
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index ac96da88..13932b7b 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -479,8 +479,8 @@ prepared whilst David Aspinall was visiting ETL, Japan, supported by the British Council. For testing and feedback for older versions of Proof General, thanks go -to Rod Burstall, Martin Hofmann, and James McKinna, as well as some -those who continued to help with the latest 3.x series. +to Rod Burstall, Martin Hofmann, and James McKinna, and some of those +who continued to help with the latest 3.x series. @c FIXME HERE! During the development of Proof General 3.x releases, @@ -492,12 +492,14 @@ Pascal Brisset, Martin Buechi, Matt Fairtlough, Kim Hyung Ho, +Pierre Lescanne, John Longley, Tobias Nipkow, Leonor Prensa-Nieto, David von Oheimb, -and -Randy Pollack. Thanks to all of you! +Randy Pollack, +and +Mike Squire. Thanks to all of you! |