| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-02-15 | Finished making holes.el a real minor-mode. There is a new file | Pierre Courtieu |
| 2004-08-30 | debugged the indentation of coq (bug report of Batsiaan Zapf august | Pierre Courtieu |
| 2004-03-30 | added the forall x-symbol to the indent keywords lists. | Pierre Courtieu |
| 2004-03-15 | bug fix in holes (call to proof-indent-line instead of funcall | Pierre Courtieu |
| 2004-03-15 | little bug fix in coq-indent.el | Pierre Courtieu |
| 2004-03-11 | bug fixes on indenting and command-end-regexp. | Pierre Courtieu |
| 2004-03-10 | compile warning corrections | Pierre Courtieu |
| 2004-03-08 | indentation for coq completely re-coded, because the generic mechanism | Pierre Courtieu |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |