aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-indent.el
Commit message (Expand)AuthorAge
...
* removed debug messages from indentation code.Gravatar Pierre Courtieu2006-07-04
* fix the bug for coq indetation of two consecutive comments. Code isGravatar Pierre Courtieu2006-07-04
* fix a bug in coq indentation (loop). seems to be fixed. I still have aGravatar Pierre Courtieu2006-07-04
* moving coq-goal-command-p to indetation code, as from v8.1, goals areGravatar Pierre Courtieu2006-07-04
* added match...with automatic building from atype name.Gravatar Pierre Courtieu2005-11-07
* Finished making holes.el a real minor-mode. There is a new fileGravatar Pierre Courtieu2005-02-15
* debugged the indentation of coq (bug report of Batsiaan Zapf augustGravatar Pierre Courtieu2004-08-30
* added the forall x-symbol to the indent keywords lists.Gravatar Pierre Courtieu2004-03-30
* bug fix in holes (call to proof-indent-line instead of funcallGravatar Pierre Courtieu2004-03-15
* little bug fix in coq-indent.elGravatar Pierre Courtieu2004-03-15
* bug fixes on indenting and command-end-regexp.Gravatar Pierre Courtieu2004-03-11
* compile warning correctionsGravatar Pierre Courtieu2004-03-10
* indentation for coq completely re-coded, because the generic mechanismGravatar Pierre Courtieu2004-03-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 07:19:09 +0000