diff options
| author |  Stefan Monnier <monnier@iro.umontreal.ca> | 2011-06-07 01:47:24 +0000 |
|---|---|---|
| committer | Stefan Monnier <monnier@iro.umontreal.ca> | 2011-06-07 01:47:24 +0000 |
| commit | 34da1bb2cff1cf0f80ec6465c58f0680c3bb8d48 (patch) | |
| tree | b3d212d56f85c755414083f22006ee8515c93745 /ccc/README | |
| parent | 56304ed772024e40fdf767fb8c3d1b3bc5e9ff27 (diff) | |
Summary: coq-smie: improve indentation.
* coq.el (coq-smie-grammar): Add rules for {|...|}, Let, Record, Module..End,
Section..End, and BeginSubproof..EndSubproof.
(coq-smie-search-token): New function.
(coq-smie-forward-token, coq-smie-backward-token): Recognize {| and |}.
Distinguish Module definition from Module introduction.
Merge "Module Type" and "Module".
(coq-smie-rules): Refine list-intro. Improve indentation after "with".
Add Function, Let and Record to the := case.
Indent within Module..End and friends. Improve indentation of record def.
Indent forall's body by 2. Better indent Lemmas.
* coq-db.el (coq-build-abbrev-table-from-db): Mark those abbrevs as `system'.
* coq-abbrev.el (coq-install-abbrevs): Don't bind save-abbrevs
since it's not needed any more.
Diffstat (limited to 'ccc/README')
0 files changed, 0 insertions, 0 deletions