diff options
| author | Stefan Monnier | 2011-06-06 20:11:10 +0000 |
|---|---|---|
| committer | Stefan Monnier | 2011-06-06 20:11:10 +0000 |
| commit | 56304ed772024e40fdf767fb8c3d1b3bc5e9ff27 (patch) | |
| tree | 2793b1a9fdb801aa06eba6cf0e8df42d2f7af774 /etc | |
| parent | 895203c4024c386c5f03d79854bdc329607194e6 (diff) | |
Summary: coq-smie: Do not assume all "." are terminators. Handle "Programs".
(coq-smie-grammar): Add "Function" rule.
(coq-smie-forward-token, coq-smie-backward-token): New functions.
(coq-mode-config): Use them for the SMIE lexer.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions