diff options
-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. |