diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-05-29 18:09:41 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-05-29 18:09:41 +0000 |
commit | fcaea3af83c23259b401e1f50c657abeef9d00bc (patch) | |
tree | 12ec464d245c8852f120ba181b296cc58f1bae7f /html | |
parent | 6478d11501b0953493074dd9e8c400bcabcbebc0 (diff) |
Fix Coq link.
Diffstat (limited to 'html')
-rw-r--r-- | html/main.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/main.html b/html/main.html index 8682c176..74a35517 100644 --- a/html/main.html +++ b/html/main.html @@ -44,7 +44,7 @@ Proof General comes ready-customized for these proof assistants: <table width="90%"> <tr> <td align="center"> - <?php hlink("http://pauillac.inria.fr/coq/assis-eng.html", + <?php hlink("http://pauillac.inria.fr/coq/", "<img src=\"images/coqlogo4.gif\" width=66 height=61 border=0 alt=\"Coq badge\">","The Coq Home Page") ?> </td> <td> |