From ddaed1740d58f857033cc2142a16533792930d0c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Sep 2009 07:44:18 +0000
Subject: Updated

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

(limited to 'CHANGES')

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)
-- 
cgit v1.2.3