diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-05-25 01:05:49 -0400 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-05-25 01:05:49 -0400 |
commit | d43687a0f25a8e1d7684a82bf0460c79fe784a52 (patch) | |
tree | 9dc40735f18a6766027db37dcab617ff6418cfe0 /doc/ProofGeneral.texi | |
parent | adbaafb96696f7cd65c53ecad71aac095bee1338 (diff) |
Update license information for new logo
Diffstat (limited to 'doc/ProofGeneral.texi')
-rw-r--r-- | doc/ProofGeneral.texi | 3 |
1 files changed, 3 insertions, 0 deletions
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, |