| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | added the forall x-symbol to the indent keywords lists. |  Pierre Courtieu | 2004-03-30 |
| * | 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-15 |
| * | bug fixes on indenting and command-end-regexp. | Pierre Courtieu | 2004-03-11 |
| * | compile warning corrections | Pierre Courtieu | 2004-03-10 |
| * | indentation for coq completely re-coded, because the generic mechanism | Pierre Courtieu | 2004-03-08 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |