From d43687a0f25a8e1d7684a82bf0460c79fe784a52 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Wed, 25 May 2016 01:05:49 -0400
Subject: Update license information for new logo

---
 doc/ProofGeneral.texi | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 20b7bed6..79c1e893 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -355,6 +355,9 @@ for patches and suggestions, to Makarius for many bug reports and help
 with Isabelle support and to Pierre Courtieu for providing new
 features for Coq support.
 
+Proof General 4.4's new icons were contributed by Yoshihiro Imai
+(@uref{http://proofcafe.org/wiki/Generaltan) under CC-BY-SA 3.0}
+(@uref{https://creativecommons.org/licenses/by-sa/3.0/})
 
 @c FIXME: watch contributors here!
 During the development of Proof General 3.x and 4.x releases, 
-- 
cgit v1.2.3