| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-08-24 | Fixed an error when smie not present in the system. | Pierre Courtieu |
| 2012-07-24 | Fixing compilation. Still need to verify some smie stuff on different version... | Pierre Courtieu |
| 2012-07-09 | Fixed a small bug in indentation + added new commands for queries with | Pierre Courtieu |
| 2012-07-07 | Debugged coq indentation. | Pierre Courtieu |
| 2012-07-06 | More fixes in coq indentation (2). | Pierre Courtieu |
| 2012-07-06 | More fixes in coq indentation. | Pierre Courtieu |
| 2012-07-05 | Indentation debugging for coq. | Pierre Courtieu |
| 2012-07-05 | Code cleaning. | Pierre Courtieu |
| 2012-07-05 | Fixed some indentation details for Coq. | Pierre Courtieu |
| 2012-07-03 | Fixed some indentation bugs. | Pierre Courtieu |
| 2012-06-28 | Fixed some small bugs in coq indentation. | Pierre Courtieu |
| 2012-06-28 | Complete rework of the indentation mechanism using smie. The first | Pierre Courtieu |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |