splash changes.

1 files changed, 12 insertions, 0 deletions

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.