1 files changed, 3 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 13362aa9..46a9ab09 100644
--- a/CHANGES
+++ b/CHANGES
@@ -28,6 +28,9 @@
     Editing, history and decoration in the shell (*coq*, *isabelle*,
     etc) are impoverished compared with PG 3.X.
 
+*** Proof General -> Options menu extended and rearranged
+    - new menu for useful minor modes suggests modes that PG supports
+
 *** New user configuration options (also on Proof General -> Options)
     proof-auto-raise-buffers  (set to nil for manual window control)
     proof-full-decoration     (add full decoration to input text)