diff options
author | 2000-09-28 15:40:48 +0000 | |
---|---|---|
committer | 2000-09-28 15:40:48 +0000 | |
commit | 2c73fdbdbddc4278dfc6815e49fb65d7207f6d34 (patch) | |
tree | 5e8fca6bb7868485b8b1cf20905bbffd3495c2f3 /etc | |
parent | ce2413d4ba78cacb8d5e098ed1421456bb811e53 (diff) |
Fix URL.
Diffstat (limited to 'etc')
-rw-r--r-- | etc/announce | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/announce b/etc/announce index 58276c65..eda0171e 100644 --- a/etc/announce +++ b/etc/announce @@ -66,7 +66,7 @@ Summary of changes since 3.1: . For details, see http://www.proofgeneral.org/ProofGeneral-3.2/CHANGES The user manual contains full details, and is available on-line at: -http://www.proofgeneral.org/index.phtml?page=doc +http://www.proofgeneral.org/index.html?page=doc Proof General needs a recent version of Emacs to run with, and it much prefers XEmacs to FSF GNU Emacs. Proof General 3.2 has been tested @@ -76,5 +76,5 @@ Emacs 20.2, though). Installing Proof General is easy. Why not give it a try? - David Aspinall <da@dcs.ed.ac.uk> - November 2000. + October 2000. |