| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-07-10 | Fixed incorrect syntax of previous commit. | Pierre Courtieu |
| 2012-06-08 | Indentation is a bit more accurate. | Pierre Courtieu |
| 2012-06-07 | Fix indentation of dependent match clauses (as ... in ... return ...). | Pierre Courtieu |
| 2012-06-04 | One more fix for indentation. | Pierre Courtieu |
| 2012-06-03 | Fix a bug of indentation. | Pierre Courtieu |
| 2012-02-10 | Fixed an ineficiency in comment detection. | Pierre Courtieu |
| 2011-07-08 | Fixing the scripting of new subproof script parenthesizing ({ and }). | Pierre Courtieu |
| 2011-07-01 | Some more sample indentation patterns added. | Pierre Courtieu |
| 2011-06-17 | oops, undo last commit. | Pierre Courtieu |
| 2011-06-10 | Fix trac #410. | Pierre Courtieu |
| 2011-06-08 | Added one indentation example. | Pierre Courtieu |
| 2011-06-04 | Updated the old code for indentation, in case Stefan cannot finish the | Pierre Courtieu |
| 2010-09-09 | Fixed small bugs in indentation. | Pierre Courtieu |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |