From 865b8f10da131e52040c234f4aa9217b2f69810a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Sep 1999 11:02:38 +0000
Subject: Updated

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

diff --git a/CHANGES b/CHANGES
index 703df5b0..3e8b534b 100644
--- a/CHANGES
+++ b/CHANGES
@@ -22,13 +22,11 @@ Generic Changes
 
 * Shorter buffer names for convenience.
  
-* Removed transparent gif from splash screen because XEmacs can't
-  display it nicely.
+* Removed transparent gif (text logo) from splash screen 
+  because XEmacs can't display it nicely.
  
 * Documentation updates.
 
-* Code cleanups and improvements.
-
 
 Coq Changes
 -----------
@@ -44,11 +42,16 @@ Isabelle and Isar Changes
 * Recognize goals of the old form val prems = goal ...
 
 
-
-Only in the developer's release:
---------------------------------
+Only in the developers' release
+-------------------------------
 
 * Provisional instantiation of Proof General for
   Plastic (http://www.dur.ac.uk/CARG/plastic.html)
   by Paul Callaghan <P.C.Callaghan@durham.ac.uk>.
 
+
+Internal changes for developers to note
+---------------------------------------
+
+* Code cleanups and improvements.
+
-- 
cgit v1.2.3