diff options
| author |  Erik Martin-Dorel <erik.martin-dorel@ens-lyon.org> | 2016-07-03 14:09:30 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel <erik.martin-dorel@ens-lyon.org> | 2016-07-03 14:09:30 +0200 |
| commit | f7f623797802a33d0b0549e68c12863a55ff8396 (patch) | |
| tree | 8a9bfe53e7c4490c233c96e2233ad6fcf5d7b582 /doc | |
| parent | 16458db21915a95776f104e7d90a94a61dcf1eb4 (diff) | |
Fix link.
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! |