diff options
Diffstat (limited to 'html/links.phtml')
| -rw-r--r-- | html/links.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/links.phtml b/html/links.phtml index 87fb489c..7e691384 100644 --- a/html/links.phtml +++ b/html/links.phtml @@ -18,7 +18,7 @@ for links to include here, or find broken links, please <ul> <li><a href="http://www-sop.inria.fr/croap/ctcoq/ctcoq-eng.html">CtCoq</a> is an interface for the Coq theorem prover, developed - at INRIA, Sophia Antipolis as part of + at INRIA, Sophia Antipolis, as part of <a href="http://www-sop.inria.fr/croap/">Projet CROAP</a>. Like Proof General, CtCoq is based on a general approach for building user-interfaces for theorem provers, although no other |