diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-14 12:21:36 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-14 12:21:36 +0000 |
| commit | 8b2c874093475a6ef8ba9938e325cb6df32ed2bf (patch) | |
| tree | 86588c97a06a76d284035c77d0eac0ad2ec5e437 /etc | |
| parent | 8f8981f7430eb351a058bf3854988744e08f3286 (diff) | |
Fix version number notes.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/etc/announce b/etc/announce index 29c7b7ae..f563b096 100644 --- a/etc/announce +++ b/etc/announce @@ -39,13 +39,11 @@ http://proofgeneral.inf.ed.ac.uk/fileshow.php?file=ProofGeneral-3.5%2FCHANGES For the latest user manual, see http://proofgeneral.inf.ed.ac.uk/doc -Proof General needs a recent version of Emacs to run with. -Proof General 3.5 has been tested with XEmacs 21.1 and 21.4, and -GNU Emacs 21.3. Older versions of either Emacs may work but are not -guaranteed. +Proof General needs a recent version of Emacs to run with. Proof +General 3.5 has been tested with XEmacs 21.4.14, and GNU Emacs 21.3.1. +Other recent versions of either Emacs may work but are not guaranteed. Installing Proof General is easy. Why not give it a try? - David Aspinall. April 2004. - |