From 5eaa32a1a93417e1a74d10ef00e3b9cbcabc69ed Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 10 Nov 1999 18:09:45 +0000
Subject: Improvement of user options, change of terminology.

---
 CHANGES | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/CHANGES b/CHANGES
index 229c9fef..df4f2442 100644
--- a/CHANGES
+++ b/CHANGES
@@ -36,6 +36,13 @@ Generic Changes
   take an optional argument to delete the retracted text
   (it was too easy for the user to accidently type C-u C-c C-u !)
 
+* User options have been re-organized and renamed to be
+  more suggestive.  "Active terminator minor mode" is now 
+  called "electric terminator".  Boolean options can be
+  toggled from the menu and saved with "Save options"
+  on the ordinary Emacs "Options" menu.  (Others can
+  be set via Customize).
+  
 * Command C-c C-t (proof-try-command) removed in favour of C-c C-v
   (proof-execute-minibuffer-cmd), which now uses the
   filter proof-state-preserving-p to check that a command is safe.
-- 
cgit v1.2.3