| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-12-24 | fixed a bug in command parsing for coq, due to recent changes. | Pierre Courtieu |
| 2014-12-24 | typo in indentation cod, found after testing coq/ex/indent.v. | Pierre Courtieu |
| 2014-12-24 | fixing a small pb in indentation of arrow (->). Not perfect. | Pierre Courtieu |
| 2014-12-24 | fixed the use of >= 24.4 function string-suffix-p. | Pierre Courtieu |
| 2014-12-23 | Supporting more bullets (coq 8.5), like ++ or ++++. | Pierre Courtieu |
| 2014-06-06 | * coq/coq-smie.el: Fix precedence of 'else'. | Stefan Monnier |
| 2014-06-04 | * coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition. | Stefan Monnier |
| 2014-06-03 | Rename coq-smie-lexer.el to coq-smie.el. | Stefan Monnier |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |