From adbaafb96696f7cd65c53ecad71aac095bee1338 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Tue, 24 May 2016 23:28:08 -0400 Subject: Update PG's logo The new art is a contribution of Yoshihiro Imai (http://proofcafe.org/~yoshihiro503/), first released at https://github.com/yoshihiro503/generaltan and kindly made available under the terms of the GPL. Many thanks! --- images/ProofGeneral-image.gif | Bin 18165 -> 0 bytes images/ProofGeneral-image.jpg | Bin 16123 -> 0 bytes images/ProofGeneral-splash.png | Bin 0 -> 66563 bytes images/ProofGeneral.png | Bin 0 -> 162068 bytes images/README | 11 +++-------- 5 files changed, 3 insertions(+), 8 deletions(-) delete mode 100644 images/ProofGeneral-image.gif delete mode 100644 images/ProofGeneral-image.jpg create mode 100644 images/ProofGeneral-splash.png create mode 100644 images/ProofGeneral.png (limited to 'images') diff --git a/images/ProofGeneral-image.gif b/images/ProofGeneral-image.gif deleted file mode 100644 index 4f83fb95..00000000 Binary files a/images/ProofGeneral-image.gif and /dev/null differ diff --git a/images/ProofGeneral-image.jpg b/images/ProofGeneral-image.jpg deleted file mode 100644 index d2c430cd..00000000 Binary files a/images/ProofGeneral-image.jpg and /dev/null differ diff --git a/images/ProofGeneral-splash.png b/images/ProofGeneral-splash.png new file mode 100644 index 00000000..a1006f9f Binary files /dev/null and b/images/ProofGeneral-splash.png differ diff --git a/images/ProofGeneral.png b/images/ProofGeneral.png new file mode 100644 index 00000000..bc372424 Binary files /dev/null and b/images/ProofGeneral.png differ diff --git a/images/README b/images/README index 9bba39f7..25a79fda 100644 --- a/images/README +++ b/images/README @@ -18,11 +18,6 @@ to the PG graphics repository. David Aspinall - - - - - - - - +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 -- cgit v1.2.3