Updates

1 files changed, 5 insertions, 12 deletions

diff --git a/CHANGES b/CHANGES
index e04eb718..07c8375f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,6 +4,11 @@
 
 ** Generic Changes
 
+*** Changes to Proof General RPM packaging mechanism
+  
+     Can now build RPM packages with "rpm -ta" from tarball source.
+     RPM includes menu file and icons (tested under Linux Mandrake).
+
 *** Addition of visibility control for completed proofs
 
      You can make proofs invisible using a context sensitive menu
@@ -37,18 +42,6 @@
      the modules you depend on, so that scripting can continue in the
      next file.
 
-     2)
-     
-
-
-** LEGO Changes
-
-** Isabelle Changes
-
-** Isar Changes
-
-** HOL Changes
-
 ** Changes for developers to note
 
 *** proof-shell-process-output now sets proof-shell-last-output and