From 8911d03e7e7b884e550d50525fdf0f3d80050afe Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Mon, 9 Mar 2015 19:35:46 +0000
Subject: Added bug fixes in CHANGES.

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

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index c173e6d2..4d7b23d5 100644
--- a/CHANGES
+++ b/CHANGES
@@ -130,6 +130,11 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
     As most of the bindings, they are active in the three buffer
     (script, goals, response).
 
+*** bug fixes
+    - Annoying cursor jump when hitting ".".
+    - random missing output due to the prover left in silent mode by
+      a previously scripted error.
+    - Better display of warnings (less messages lost).
 
 * Changes of Proof General 4.2 from Proof General 4.1
 
-- 
cgit v1.2.3