diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 00:19:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 00:19:04 +0000 |
| commit | 464c5e66c4a7acec4701e30ad512f9e0092f8996 (patch) | |
| tree | 21e6b2a76249a6061541fe93bcb7964162a6b15d /CHANGES | |
| parent | 350a9dbe845fc7d7e6a5a1d5be6ae96a517dc006 (diff) | |
Mention new RPM packages
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -10,11 +10,20 @@ ** Generic changes +*** Improved RPM packaging + +Three packages are provided: ProofGeneral, ProofGeneral-emacs-elc and +ProofGeneral-xemacs-elc. The two elc RPMs contain compiled elisp for +GNU Emacs and XEmacs respectively. These RPMs are intended to be +compatible with the RPMs distributed with Red Hat/Fedora. + +Please try out these packages and report any problems. + *** Desktop integration on freedesktop.org compliant desktops Provided automatically (and only) with the RPM package. -!!!WORK IN PROGRESS!!! -- Please send me i18n strings, and report +WORK IN PROGRESS!! -- Please send me i18n strings, and report any problems on particular desktops (I'm only testing on Fedora Core 1/GNOME). |