From 2059f4e0efcce4ba96263b4fbbdbd285810b1c82 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 May 2001 11:34:41 +0000
Subject: Updates

---
 CHANGES | 17 +++++------------
 1 file 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
-- 
cgit v1.2.3