| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |