diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 00:09:19 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 00:09:19 +0000 |
commit | b83bc49faed6cbb97c96c0201bc0872315d0f6db (patch) | |
tree | 0ad8d5b55126f53665b8035df924d6256b2491ad /doc | |
parent | d3c2dde1c0a278a1cea5fe8ab371897e4a7ad46e (diff) |
Updated.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 50fa72c3..da376683 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -248,10 +248,10 @@ bundled with Proof General. @c friendly and the display in multiple-window mode is trimmed to @c allow more text space for display. -Proof General 3.7 runs reliably as compiled Elisp code, and is available -in RPM package format which includes desktop integration on -freedesktop.org compliant desktops (including, for example, many recent -Linux distributions). +Proof General 3.7 is available in RPM package format which includes +pre-compiled code for GNU Emacs or XEmacs and +desktop integration on freedesktop.org compliant desktops (including, +for example, many recent Linux distributions). @c Other stuff pending: @c X-Symbol 4.4 support?? |