diff options
| author | David Aspinall | 2001-03-20 16:44:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-03-20 16:44:17 +0000 |
| commit | 3516cb7082e6ee1f2d1b7a22e45b7844847d1d50 (patch) | |
| tree | f7218a97a8e7c8113aa04660bf51d52919abab6c /html | |
| parent | f3e393273fe11457510cd20507959c3390fa016e (diff) | |
Fix to Coq web page
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"> |