From 9753741c3e389e39d7df416b70e0ac40f47685a9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Mar 2000 15:28:20 +0000
Subject: Updated and cleaned up

---
 CHANGES | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/CHANGES b/CHANGES
index 05a0fe45..ad358cc0 100644
--- a/CHANGES
+++ b/CHANGES
@@ -77,19 +77,23 @@
 *** Minor bug fixes
 
 **** Fix for using electric terminator inside locked region.
-
   With strict read only turned off, would get Emacs error.  
   Now simply inserts terminator char anywhere in locked region.
+  [Reported by David von Oheimb]
+
+**** Fix for turning on multiple frame mode
+  Would trigger error if there was no active scripting buffer.
+  [Reported by David von Oheimb]
 
 **** Fix for duplicated short output.
-  
   Only seen with "val x=1" or similar very short messages.
   We now set proof-shell-eager-annotation-start-length appropriately.
+  [Reported by John Longley]
 
 **** Fixes for filenames with odd characters in them (mainly for Windows)
-
   Fixes to allow filenames with \ and " in them.
   Added for Coq, Isabelle, and HOL.  
+  [Reported by Kim Hyung Ho]
 
 
 
-- 
cgit v1.2.3