The Coq mailing list

[Pierre Courtieu <pierre.courtieu AT gmail.com>]

To answer this specific question,

(setq coq-one-command-per-line nil)

should do what you want.

Best regards,
P.

2012/8/29 Thomas Braibant 
<thomas.braibant AT gmail.com>:
> Electric terminator do not work when one uses modules ("apply
> Foo.lemma"). BTW, when doing go forward at the end of a line that ends
> with a period, pg moves the cursor to the next line, which is most
> often not what I want it to do (I want to fill this damn line, not to
> use one single tactic per line!).