From 5f90d3cec45c00c06221e2b64fbba906ef23597e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Jun 2000 11:04:48 +0000
Subject: Note about new indentation code and current buggy state

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

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