diff options
| -rw-r--r-- | CHANGES | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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. |