From 464c5e66c4a7acec4701e30ad512f9e0092f8996 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Mar 2004 00:19:04 +0000
Subject: Mention new RPM packages

---
 CHANGES | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index e3bac60c..6bb1beec 100644
--- a/CHANGES
+++ b/CHANGES
@@ -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).
 
-- 
cgit v1.2.3