From 601240294f64194fb9fd590ba719ddf08aa10ea4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 10:24:31 +0000
Subject: Updated.

---
 CHANGES | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 0d493981..68ba9506 100644
--- a/CHANGES
+++ b/CHANGES
@@ -35,10 +35,11 @@ and old settings if you want to change back).
 Visibility controls now work for comments and commands in proof
 scripts.  An image is used in XEmacs to signal hidden text.
 
-*** Improvement to "Favourites" user-defined menus 
+*** Menu improvements (Favourites, options saving)
 
 Favourites are now more robust.  You can delete them and save them
-when you want.
+when you want.  The PG "quick" options can also be saved separately
+from other Emacs custom variables.
 
 *** Support for "tracing" buffers improved and enabled by default.
 
-- 
cgit v1.2.3