From f71c2935e3b249ece4841b3913c4285f1c1e964e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 Sep 2003 00:41:20 +0000
Subject: Fix Lambda-CLAM link

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

(limited to 'html')

diff --git a/html/main.html b/html/main.html
index f1b44eda..fdffc920 100644
--- a/html/main.html
+++ b/html/main.html
@@ -126,8 +126,7 @@ href="http://www.dur.ac.uk/CARG/plastic.html">Plastic</a>
 
 
 <li><b><?php fileshow("ProofGeneral/lclam/README","Lambda-Clam Proof
-General"); ?></b>, for <a
-href="http://dream.dai.ed.ac.uk/software/systems/lambda-clam/">Lambda-CLAM</a>
+General"); ?></b>, for <a href="http://dream.dai.ed.ac.uk/software/lambda-clam/">Lambda-CLAM</a>
 (in development).</li>
 </ul>
 
-- 
cgit v1.2.3