Commit message (Expand) | Author | Age | |
---|---|---|---|
* | added the forall x-symbol to the indent keywords lists. | 2004-03-30 | |
* | bug fix in holes (call to proof-indent-line instead of funcall | 2004-03-15 | |
* | little bug fix in coq-indent.el | 2004-03-15 | |
* | bug fixes on indenting and command-end-regexp. | 2004-03-11 | |
* | compile warning corrections | 2004-03-10 | |
* | indentation for coq completely re-coded, because the generic mechanism | 2004-03-08 |