Note about new indentation code and current buggy state

1 files changed, 6 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 8cb35f51..6f036b18 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,6 +8,12 @@
 
 ** Generic Changes
 
+*** New indentation code, indentation enabled for all provers now
+
+  Supplied by Markus Wenzel.
+  This is currently in testing, and has broken some other
+  features, particularly the function menu, in some cases.
+
 *** Toolbar and menubar removed from small windows in multiple frame mode
 
   More screen real estate for your windows.