From ce036f15424d49605d22613b7a588c75f931b003 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Nov 1999 15:45:25 +0000
Subject: Updated

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

diff --git a/CHANGES b/CHANGES
index cedd9240..229c9fef 100644
--- a/CHANGES
+++ b/CHANGES
@@ -121,6 +121,9 @@ Only in the developers' release
 Internal changes for developers to note
 ---------------------------------------
 
+* x-symbol support has been made generic.  See documentation
+  and proof-config.el.
+
 * Many robustness improvements so that Proof General fails
   gracefully when certain configuration settings are unset.
   The aim is to make it easier to adapt to new proof
@@ -136,6 +139,7 @@ Internal changes for developers to note
     proof-ctxt-string -> proof-context-command
     proof-help-string -> proof-info-command
     proof-prf-string  -> proof-showproof-command
+    proof-proof-general-home-page -> proof-general-home-page
 
 * Speed optimizations for the proof-shell-filter, to attempt
   to give more CPU to a hungry and noisy proof process.
-- 
cgit v1.2.3