From 647815cb66c96f4d249802fdfa7599eae447e16b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Aug 2001 19:17:15 +0000
Subject: Fix typo

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

diff --git a/html/about.html b/html/about.html
index 7cc7e8af..1fb738cf 100644
--- a/html/about.html
+++ b/html/about.html
@@ -10,7 +10,7 @@ the code was made generic.  The generic basis was developed by
 Thomas Kleymann, Dilip Sequeira, Healfdene Goguen and David Aspinall.
 The current authors and maintainers of the various instantiations of
 Proof General are mentioned on the 
-<a href="main.html">front page.</a>.
+<a href="main.html">front page</a>.
 </p>
 <p> 
 The Proof General project was coordinated until October 1998 by
-- 
cgit v1.2.3