diff options
| author | Stefan Monnier | 2011-06-11 16:43:07 +0000 |
|---|---|---|
| committer | Stefan Monnier | 2011-06-11 16:43:07 +0000 |
| commit | 662eacd888a86e9a47d59657751ed41f8c10aceb (patch) | |
| tree | 976766f0757ebbe607cb9019579447e5b490de86 /pgshell/example.pgsh | |
| parent | d38800608f3e540b6f200ad8602e9d7805a2b0fd (diff) | |
* coq.el: Fix up a few comment conventions; Improve SMIE indentation.
(coq-smie-grammar): Use new special token "Proof End".
(coq-smie-proof-end-tokens): New var.
(coq-smie-forward-token, coq-smie-backward-token): Map proof end tokens to
"Proof End", and map "(Next )Obligation" to "Proof".
(coq-smie-rules): Indent after ;-tactical.
Use "Proof End". Indent specially "Lemma x :forall, ..".
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions