diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-15 14:57:42 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-15 14:57:42 +0000 |
commit | 451afba1f6ed2adf81a27d1afa8bd5ec578a0d1e (patch) | |
tree | 038997586bb785aecd63cd4bf1516523eb9ff0c1 /coq/x-symbol-coq.el | |
parent | b30ee0d66e10f591d2271b86400595dc7bf20357 (diff) |
Reorganization and cleanup of key-bindings.
FSF fix for proof-cd.
Fix for proof-goto-point.
Made proof-done-advancing robust against unset proof-save-command-regexp.
Improved several docstrings.
Fixes for proof-frob-locked end, made disabled by default for novices.
Fix for electric terminator indicator in non-PG buffers.
Configuration variable proof-font-lock-zap-commas.
Removed proof-try-command.
Phew!
Diffstat (limited to 'coq/x-symbol-coq.el')
0 files changed, 0 insertions, 0 deletions