diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index a0568796..80c4660b 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -356,7 +356,7 @@ 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{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! |