| Age | Commit message (Collapse) | Author |
|---|
|
and keep possibly customized variables bound. Closes Trac #387.
|
|
* 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.
|
|
|
|
|
|
instead of parse-partial-sexp
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
more Emacs ports easily
|
|
|
|
libraries...
|
|
(this will break much code, isn't it in some .el file?)
|
|
tabs hack.
|
|
|
