Fixed small bugs in indentation.

1 files changed, 8 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 78b72bdc..bceeca3d 100644
--- a/CHANGES
+++ b/CHANGES
@@ -92,6 +92,14 @@
 *** Some keyboard shortcuts are now available in goals buffer
     C-c C-a C-<c,p,o,b,a> are now available in goal buffer.
 
+*** Experimental storing buffer
+    To store the content of response or goals buffer in a dedicated
+    persistent buffer (for later use), use Coq/Store response or
+    Coq/Store goal.
+
+*** bug fixes
+    (Three panes mode, indentation).
+
 ** Notable internal changes
 
 *** Altered prover configuration settings (internal)