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!
---
 generic/proof-site.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-site.el')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 11d84715..f2c9dafe 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -81,7 +81,7 @@
       (string-match "Version \\([^ ]+\\)\\." proof-general-version)
       (match-string 1 proof-general-version))))
 
-(defconst proof-general-version-year "2015")
+(defconst proof-general-version-year "2016")
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-- 
cgit v1.2.3