diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 14:06:07 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 14:06:07 +0000 |
commit | 1cf453fdb1e5b73879016c3847b0c0901709b357 (patch) | |
tree | 69fb8068e7115a86d416d2a0c766ecb13b32bbc8 /etc/announce | |
parent | a120015fd0bd3c5084f1bd0e612ba691870039bb (diff) |
Added mention of user documentation.
Diffstat (limited to 'etc/announce')
-rw-r--r-- | etc/announce | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/etc/announce b/etc/announce index a93b17e4..3b205b53 100644 --- a/etc/announce +++ b/etc/announce @@ -51,11 +51,12 @@ To users of LEGO, Coq, and Isabelle: This release of Proof General should be stable enough for you to use happily. Please try it and let us know what you think of it! -We have put a lot of work into making Proof General robust and easy to -install. Ideally you should use it with XEmacs, but it also works -with limited features in FSF Emacs. We have tested on XEmacs 20.4 and -Emacs 20.2, 20.3. (It probably works with earlier versions of either -Emacs but we cannot guarantee this). +We have put a lot of work into the user documentation for Proof +General and making it robust and easy to install. Ideally you should +use it with XEmacs, but it also works with limited features in FSF +Emacs. We have tested on XEmacs 20.4 and Emacs 20.2, 20.3. (It +probably works with earlier versions of either Emacs but we cannot +guarantee this). To users of other proof assistants: ----------------------------------- |