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 | |
| parent | adbaafb96696f7cd65c53ecad71aac095bee1338 (diff) | |
Update license information for new logo
| -rw-r--r-- | doc/ProofGeneral.texi | 3 | ||||
| -rw-r--r-- | images/README | 16 |
2 files changed, 13 insertions, 6 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, diff --git a/images/README b/images/README index 25a79fda..10fa1403 100644 --- a/images/README +++ b/images/README @@ -1,8 +1,10 @@ $Id$ -Icons for Proof General. +# Image credits -The images in this directory were made with The Gimp and Inkscape. +## Icons and button graphics + +Most of the images in this directory were made with The Gimp and Inkscape. They were created in my spare time as a donation to the Proof General project. The images here are released under the Creative Commons license, see https://creativecommons.org/licenses/by-sa/3.0/ @@ -12,12 +14,14 @@ Fitzsimon's Etiquette search icon (under CC 2.0). [ Inkscape-based icons forthcoming ] - Note for developers: the sources for images have been moved to the PG graphics repository. - David Aspinall <da@inf.ed.ac.uk> + David Aspinall <da@inf.ed.ac.uk> + +## Proof General logo The 2016 “chibi” icons were contributed by Yoshihiro Imai -(http://proofcafe.org/~yoshihiro503/). They are available under the terms of the -GPL, and were originally released at https://github.com/yoshihiro503/generaltan.
\ No newline at end of file +(http://proofcafe.org/~yoshihiro503/, http://proofcafe.org/wiki/Generaltan). +They are available under the CC-BY-SA 3.0 license; for more information, see +https://creativecommons.org/licenses/by-sa/3.0/
\ No newline at end of file |