diff options
| author | Pierre Courtieu | 2016-05-27 19:02:38 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2016-05-27 19:02:38 +0200 |
| commit | e819d81b2da200b45fac81693f357c1fba66ed07 (patch) | |
| tree | 16bdcd05c43676f26d72a919135d2c395060d947 /images | |
| parent | e2f1a90fb0061b6a1c969955f9957a8c8b1f7ed1 (diff) | |
| parent | d43687a0f25a8e1d7684a82bf0460c79fe784a52 (diff) | |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'images')
| -rw-r--r-- | images/ProofGeneral-image.gif | bin | 18165 -> 0 bytes | |||
| -rw-r--r-- | images/ProofGeneral-image.jpg | bin | 16123 -> 0 bytes | |||
| -rw-r--r-- | images/ProofGeneral-splash.png | bin | 0 -> 66563 bytes | |||
| -rw-r--r-- | images/ProofGeneral.png | bin | 0 -> 162068 bytes | |||
| -rw-r--r-- | images/README | 21 |
5 files changed, 10 insertions, 11 deletions
diff --git a/images/ProofGeneral-image.gif b/images/ProofGeneral-image.gif Binary files differdeleted file mode 100644 index 4f83fb95..00000000 --- a/images/ProofGeneral-image.gif +++ /dev/null diff --git a/images/ProofGeneral-image.jpg b/images/ProofGeneral-image.jpg Binary files differdeleted file mode 100644 index d2c430cd..00000000 --- a/images/ProofGeneral-image.jpg +++ /dev/null diff --git a/images/ProofGeneral-splash.png b/images/ProofGeneral-splash.png Binary files differnew file mode 100644 index 00000000..a1006f9f --- /dev/null +++ b/images/ProofGeneral-splash.png diff --git a/images/ProofGeneral.png b/images/ProofGeneral.png Binary files differnew file mode 100644 index 00000000..bc372424 --- /dev/null +++ b/images/ProofGeneral.png diff --git a/images/README b/images/README index 9bba39f7..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,17 +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/, 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 |
