From 13a52c0b9b9bcc3aa9c65e477efdc811242c9cb9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 6 Jan 2000 17:54:06 +0000
Subject: Mention fix to proof-shell-eager-annotation-start-length

---
 CHANGES | 19 ++++++++++++++++---
 1 file 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
 -------------------------------
-- 
cgit v1.2.3