diff options
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 4a023a65..bb9c64ad 100644 --- a/html/main.html +++ b/html/main.html @@ -49,7 +49,7 @@ Proof General comes ready-customized for these proof assistants: </td> <td> <b><?php fileshow("ProofGeneral/coq/README","Coq Proof General "); ?></b> for - <?php hlink("http://pauillac.inria.fr/coq/assis-eng.html", + <?php hlink("http://pauillac.inria.fr/coq/", "Coq","The Coq Home Page") ?> <br> <div style="font-size: smaller"> |