diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-26 15:50:26 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-26 15:50:26 +0000 |
commit | 7468a28bdb408ed0f7d85fcd74d4d9c7866c423a (patch) | |
tree | a8e815d4ed01c4ff71747633cd2737cb6ce3780a /html | |
parent | 3de52b8768dbd7e8b299e3af170ec5cda666b3d4 (diff) |
Link to Isar instead of Isar/README.
Diffstat (limited to 'html')
-rw-r--r-- | html/main.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
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> |