diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2017-03-03 12:38:58 +0100 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2017-03-03 12:41:08 +0100 |
commit | 12a780564aa7e5d936ebe5d9abcde5b28281f304 (patch) | |
tree | a296a7f4c1f0928761d2c5ea4991034d8d4a1d99 /CHANGES | |
parent | a1278112e8a613069bbfb9fa47bee2b9089efd4a (diff) |
Remove default key-binding for proof-electric-terminator-toggle.
Close ProofGeneral/PG#160
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -12,6 +12,12 @@ and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac - Using query-replace (or replace-string) in the processed region doesn't wrongly jump to the first match anymore. +*** remove key-binding for proof-electric-terminator-toggle + - The default key-binding for proof-electric-terminator-toggle + (C-c .) was too easy to enter by mistake. And it was not that + useful as we can expect users to configure electric-terminator + once and for all. Hence the removal of this default key-binding. + ** Coq changes *** new menu Coq -> Auto Compilation for all background compilation options |