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

Reply via email to