diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-09-29 10:38:24 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-09-29 13:22:21 +0200 |
commit | 2d2d90e22a9dcf979d10dd41eb08818126ab650e (patch) | |
tree | 9a76fa8ff28b40a3befb85f53c8e23431514c5b1 /coq/coq-syntax.el | |
parent | 8f984a7272de74d8a88cffcef2ca6160d710b335 (diff) |
Fixed #1 (Missing space in coq-insert-intros).
Added a newline and removed the useless intros.
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions