diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral-image.jpg | bin | 42514 -> 36953 bytes | |||
| -rw-r--r-- | doc/ProofGeneral.texi | 3 |
2 files changed, 3 insertions, 0 deletions
diff --git a/doc/ProofGeneral-image.jpg b/doc/ProofGeneral-image.jpg Binary files differindex ab45a0d9..85babf1b 100644 --- a/doc/ProofGeneral-image.jpg +++ b/doc/ProofGeneral-image.jpg diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 20b7bed6..79c1e893 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -355,6 +355,9 @@ for patches and suggestions, to Makarius for many bug reports and help with Isabelle support and to Pierre Courtieu for providing new features for Coq support. +Proof General 4.4's new icons were contributed by Yoshihiro Imai +(@uref{http://proofcafe.org/wiki/Generaltan) under CC-BY-SA 3.0} +(@uref{https://creativecommons.org/licenses/by-sa/3.0/}) @c FIXME: watch contributors here! During the development of Proof General 3.x and 4.x releases, |
