From f7f623797802a33d0b0549e68c12863a55ff8396 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sun, 3 Jul 2016 14:09:30 +0200 Subject: Fix link. --- doc/ProofGeneral.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') 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! -- cgit v1.2.3