Skip to content
GitLab
Explore
Sign in
Register
Manu Beffara
coq-au-vim
Repository
coq-au-vim
ftplugin
coq.vim
Find file
Blame
History
Permalink
Recognise three dots as a sentence terminator.
· 2223093c
Adam Matoušek
authored
May 03, 2019
Used in proofs with a default tactic. (E.g. "Proof with auto. intros. inv H... Qed.")
2223093c