diff options
| author | Stefan Monnier | 2010-11-15 19:10:38 +0000 |
|---|---|---|
| committer | Stefan Monnier | 2010-11-15 19:10:38 +0000 |
| commit | 3ce35a3d18441031614f78b8333d84e05d8d477c (patch) | |
| tree | 1d53a8ae661808ec11e5196b7e668794f15e8724 /pgshell/example.pgsh | |
| parent | 04195f8f15c22cd8be7a471b9a7724deee687098 (diff) | |
Summary: New indentation code using SMIE
* coq/coq.el (coq-build-prog-args): Avoid meaningless \- escape sequence.
(coq-use-smie): New custom var.
(coq-smie-grammar): New var.
(coq-smie-rules): New function.
(coq-guess-or-ask-for-string): Use use-region-p.
(coq-mode-config): Use smie-setup if available.
* lib/proof-compat.el (use-region-p): Provide fallback definition.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions