diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-03-21 16:30:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-03-21 16:30:40 +0000 |
commit | 9f84867ebb296649db1656106910ee2527385aaa (patch) | |
tree | ff89e2266302e07d75052f03b16ecf030d01a1b3 | |
parent | 0cbc5c985bae33f08c4c1659aa694da4f7f8fb9e (diff) |
Typo
-rw-r--r-- | html/download.html | 2 |
1 files changed, 1 insertions, 1 deletions
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 |