Pierre Courtieu <[email protected]> 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. Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
