diff options
| author | David Aspinall | 2000-03-13 07:31:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-13 07:31:04 +0000 |
| commit | 6402a4f1bfa1fe5b487c1ef28806fb6c181ee3f9 (patch) | |
| tree | a518cf659a6eaba2db7bea8c3474371b9848e4c0 | |
| parent | ce23d4d18e12535f7a0f3d588bcddcdda6a170be (diff) | |
Typo
| -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 5c0a3068..088ef488 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -96,7 +96,7 @@ including: </table> <p> There is also a preliminary version of -<b><?php fileshow("ProofGeneral/hol98/README","HOL Proof General "); ?></b>, for +<b><?php fileshow("ProofGeneral/hol98/README","HOL Proof General"); ?></b>, for <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/HOL.html">HOL98</a>. We are seeking a volunteer from the HOL community to support and improve this (perhaps also supporting other HOL variants). |