| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-09-29 | Cleaned TODO file in coq/. | Pierre Courtieu | |
| 2014-12-30 | fixed indentation (lexing of 'with') + made local coq-load-path. | Pierre Courtieu | |
| 2011-11-10 | fixed some small bugs in coq indentation smie code. | Pierre Courtieu | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |