Pierre Courtieu <pierre.court...@cnam.fr> writes:
(define-key coq-mode-map (kbd ".") 'self-insert-command)
(define-key coq-mode-map (kbd ";") 'self-insert-command)
No, I want the default Proof General electric terminator thing,
where one "." asserts up to the last phrase. Sorry for being not
clear enough about this.
My curiosity: did it jump at you by accident? Hitting ".." quickly is
not so common is it?
I _do_ look at diffs, when other people commit to the Proof
General cvs ;-). But the change in behavior is obvious: Before a
single "." asserted the last phrase, now it does nothing.
ProofGeneral-devel mailing list