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!
---
 previous-art/doc/ProofGeneral-image.jpg | Bin 0 -> 42514 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 previous-art/doc/ProofGeneral-image.jpg

(limited to 'previous-art/doc')

diff --git a/previous-art/doc/ProofGeneral-image.jpg b/previous-art/doc/ProofGeneral-image.jpg
new file mode 100644
index 00000000..ab45a0d9
Binary files /dev/null and b/previous-art/doc/ProofGeneral-image.jpg differ
-- 
cgit v1.2.3