diff options
author | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1997-11-26 14:19:45 +0000 |
---|---|---|
committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1997-11-26 14:19:45 +0000 |
commit | 9b394b679da9d6a2671c5f83f1c31384091d2623 (patch) | |
tree | bc23c632d0aee853453d8813c02469e19c1ab9d5 /coq-fontlock.el | |
parent | 7994af8d933c0ddec7e3b99670ade785e29ecb7c (diff) |
o The response buffer focusses on the first goal
o If proof-retract-until-point is is invoked outside a locked region,
the last successfully processed command is undone.
o Added support for func-menu
Diffstat (limited to 'coq-fontlock.el')
0 files changed, 0 insertions, 0 deletions