From ea043143aa90e0013bb8c4bd2ceb59217618f598 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Thu, 9 Sep 2010 11:27:49 +0000
Subject: Fixed small bugs in indentation.

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

(limited to 'CHANGES')

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