From 6a4f09d97b037738c394992105478c6173e54a67 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 May 2000 18:42:59 +0000
Subject: Note about proof-shell-pre-sync-init-cmd

---
 CHANGES | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index e4863c7e..3b8d4ace 100644
--- a/CHANGES
+++ b/CHANGES
@@ -91,8 +91,11 @@
       behind the instantiation mechanism (overriding methods, setting
       attributes) but works much more smoothly with customization.
 
+*** Changed buffer mode name: pbp-mode -> proof-goals-mode, for uniformity.
 
-*** No need for match string 1 in proof-shell-proof-completed
+*** Other minor things (interest only to independent developers of PG modes):
+
+      No need for match string 1 in proof-shell-proof-completed
+      Added proof-shell-pre-sync-init-cmd, see doc.
 
-*** Changed buffer mode name: pbp-mode -> proof-goals-mode, for uniformity.
 
-- 
cgit v1.2.3