diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 19:41:17 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 19:41:17 +0000 |
commit | 65454e9635fc315f2bce76bdc21eb4cafcb00dd1 (patch) | |
tree | a79292a862188df39d8a922c343e1a9b46ac9b67 /doc | |
parent | 633fa7cece6f61ba396892188ff2c595f1df7772 (diff) |
Credit Mitsuharu Yamamoto.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 05a9bf52..a544321a 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -392,7 +392,8 @@ Norbert Schirmer, Sebastian Skalberg, Mike Squire, Norbert Voelker, -Tjark Weber. +Tjark Weber +Mitsuharu Yamamoto. Thanks to all of you (and apologies to anyone missed). |