aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-indent.el
Commit message (Expand)AuthorAge
...
* Clean whitespaceGravatar David Aspinall2009-09-05
* Remove some old X-Symbol references.Gravatar David Aspinall2009-09-01
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Fixed indentation and goal display.Gravatar Pierre Courtieu2008-01-28
* Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t...Gravatar David Aspinall2008-01-25
* Missing parenGravatar David Aspinall2008-01-24
* Fixes and cleanups for coq-indent-line, see Trac #172Gravatar David Aspinall2008-01-24
* Remove proof-indent-pad-eol atrocityGravatar David Aspinall2007-02-28
* typo in coq-indent.Gravatar Pierre Courtieu2006-09-15
* fixed a typo in last correction.Gravatar Pierre Courtieu2006-09-15
* fixed a bug from Stefan Monnier.Gravatar Pierre Courtieu2006-09-14
* cleaning from Stefan Monnier.Gravatar Pierre Courtieu2006-09-13
* cleaning from Stefan Monnier.Gravatar Pierre Courtieu2006-09-13
* Fixed nested comment support for scripting, in xemacs (worked alreadyGravatar Pierre Courtieu2006-09-08
* Trying to mae indentation aware of nested comments (to be simplifiedGravatar Pierre Courtieu2006-09-04
* Fixed a small bug in indentation of coq.Gravatar Pierre Courtieu2006-08-25
* fixing a bug introduced lately (coq-save-command-p *needs* two argsGravatar Pierre Courtieu2006-08-24
* Fixed indentation and font-lock for coq. Better, faster.Gravatar Pierre Courtieu2006-08-23
* Coq indentation small fixes.Gravatar Pierre Courtieu2006-08-23
* fsf emacs compatibilty for symbol-at-point.Gravatar Pierre Courtieu2006-08-23
* 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-05-15 19:53:28 +0000