Mention fix to proof-shell-eager-annotation-start-length

1 files changed, 16 insertions, 3 deletions

diff --git a/CHANGES b/CHANGES
index abea57a4..4e566cbb 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,20 +1,33 @@
 Summary of Changes for Proof General 3.1 from 3.0
 =================================================
 
-[ No changes yet, this release is the same as the stable 3.0 version ]
 
 Generic Changes
 ---------------
 
+Minor bug fix for duplicated short output.
+ (set proof-shell-eager-annotation-start-length appropriately)
+
+
 Coq Changes
 -----------
 
+
 LEGO Changes
 ------------
 
 
-Isabelle and Isar Changes
--------------------------
+Isabelle Changes
+----------------
+
+
+Isar Changes
+------------
+
+Minor syntax tweaks.
+
+
+
 
 Only in the developers' release
 -------------------------------