diff options
| -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). |