1 files changed, 8 insertions, 3 deletions
diff --git a/CHANGES b/CHANGES
index 589a1b08..e5fc9357 100644
--- a/CHANGES
+++ b/CHANGES
@@ -122,13 +122,18 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
     Experimental: colorize hypothesis names and some parts of error
     and warning messages. For readability.
 
-*** Set Printing Width adapted to goals window size
+*** Auto adjusting of printing width
 
-    (coq-adapt-printing-width) sets the coq printing width to the
-    width of goals window. Default binding: C-c C-a C-w.
+    On by default. To disable: Coq/Settings/Auto Adapt Printing Width. 
 
 *** Coq Querying facilities
 
+*** Removed the Set Undo 500 at start.
+    This is obsolete. To recover: (setq coq-user-init-cmd `("Set Undo 500."))
+
+
+
+
 **** Minibuffer interactive queries
 
     Menu Coq/Other Queries (C-c C-a C-q) allows to send queries (like