From 6402a4f1bfa1fe5b487c1ef28806fb6c181ee3f9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Mar 2000 07:31:04 +0000
Subject: Typo

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

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).
-- 
cgit v1.2.3