diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-05-24 23:28:08 -0400 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-05-24 23:28:08 -0400 |
commit | adbaafb96696f7cd65c53ecad71aac095bee1338 (patch) | |
tree | c2ec2cc4606bc8ef77e99a476307d19bb5e02fdc /generic/proof-site.el | |
parent | aff6697e7c2ad645ad54d29da12d65aded5e038a (diff) |
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!
Diffstat (limited to 'generic/proof-site.el')
-rw-r--r-- | generic/proof-site.el | 2 |
1 files changed, 1 insertions, 1 deletions
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") ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |