diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-25 18:42:59 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-25 18:42:59 +0000 |
commit | 6a4f09d97b037738c394992105478c6173e54a67 (patch) | |
tree | 3ff3a460dd2ecdb48bf5bd5953afff49d2c88c25 /CHANGES | |
parent | d916b9f8cf2b79b9190b2aa1d18a550350fd6004 (diff) |
Note about proof-shell-pre-sync-init-cmd
Diffstat (limited to 'CHANGES')
-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. |