From 4069fb795804be952ba7bf754eed654077f36441 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 May 2001 16:08:08 +0000
Subject: splash changes.

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

diff --git a/CHANGES b/CHANGES
index 07c8375f..ae89fa14 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,6 +4,14 @@
 
 ** Generic Changes
 
+*** Proof General startup script welcomes user
+ 
+     The "binary" (startup script) bin/proofgeneral now loads
+     PG and invokes a function to display a splash message,
+     which invites the user to load a file.   A bit more
+     friendly than simply being confronted by a standard 
+     XEmacs screen.
+
 *** Changes to Proof General RPM packaging mechanism
   
      Can now build RPM packages with "rpm -ta" from tarball source.
@@ -27,6 +35,10 @@
      inserts the last output and converts it into a comment
      using `comment-region'.
 
+*** Compatibility fixes.
+
+     Fixes for FSF Emacs and XEmacs 21.4
+
 ** Coq Changes
 
      Compatibility for V7 added.
-- 
cgit v1.2.3