Note about proof-shell-pre-sync-init-cmd

1 files 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.