From 9f84867ebb296649db1656106910ee2527385aaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Mar 2002 16:30:40 +0000
Subject: Typo

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

diff --git a/html/download.html b/html/download.html
index 6ebdfdf2..9b8e4fd1 100644
--- a/html/download.html
+++ b/html/download.html
@@ -84,7 +84,7 @@ from the source tarball using <tt>rpm -ta</tt>.
 This version of Proof General has been tested
 with XEmacs 21.4 and (briefly with) GNU Emacs 20.7.
 It supports earlier versions of both Emacsen, but
-we recommend using the latest versions available
+we recommend using the latest versions available.
 </p>
 <p>
 Check the <?php fileshow("ProofGeneral-3.3/CHANGES","CHANGES"); ?> file
-- 
cgit v1.2.3