diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-14 16:04:50 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-14 16:04:50 +0100 |
| commit | ece7af6fc988d835de9b16fc1bb67f5762bb6aad (patch) | |
| tree | e3b3fb8f7f550563cc5d65310d7c650c4b7a65a3 /coq/coq-seq-compile.el | |
| parent | e9e2f7ec5f50916e11b44162762f30f1f6a2b659 (diff) | |
Fix #29 + indentation glitch + regexp refactoring.
Diffstat (limited to 'coq/coq-seq-compile.el')
0 files changed, 0 insertions, 0 deletions