From fcaea3af83c23259b401e1f50c657abeef9d00bc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 May 2001 18:09:41 +0000
Subject: Fix Coq link.

---
 html/main.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/main.html')

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>
-- 
cgit v1.2.3