diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 19:55:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 19:55:43 +0000 |
| commit | 8c2a3169e10622db9ae0c595174b78f57a665286 (patch) | |
| tree | 5f857929c8ac3269ee09a7293a705b26654b616d /etc | |
| parent | efc3b93d9371ebb34fded6a3d903596b9529fa9c (diff) | |
Changed doc link
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/announce b/etc/announce index fd2b6d2c..88368ca8 100644 --- a/etc/announce +++ b/etc/announce @@ -62,7 +62,7 @@ Summary of changes since 2.1: http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/CHANGES The user manual contains full details, and is available on-line at: -http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/doc/ProofGeneral_toc.html +http://zermelo.dcs.ed.ac.uk/~proofgen/index.phtml?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.0 has been tested |