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