From 7468a28bdb408ed0f7d85fcd74d4d9c7866c423a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 Sep 2000 15:50:26 +0000
Subject: Link to Isar instead of Isar/README.

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

(limited to 'html')

diff --git a/html/main.phtml b/html/main.phtml
index 26750ea3..f0d07253 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -94,7 +94,7 @@ including:
       <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.
       <br>
       Additional maintainance, support for
-      <?php fileshow("ProofGeneral/isar/README","Isabelle/Isar "); ?>
+      <a href="http://isabelle.in.tum.de/Isar">Isabelle/Isar</a>
       by
       <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>.
        </div>
-- 
cgit v1.2.3