aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-indent.el
AgeCommit message (Expand)Author
2010-09-09Fixed the cleaning of goals buffer when proof completedPierre Courtieu
2010-09-09Cleaning indentation code.Pierre Courtieu
2010-09-09Fixed indentation at end of file.Pierre Courtieu
2010-09-09Fixed small bugs in indentation.Pierre Courtieu
2010-09-07Finished fixing the small indentation bug at buffer top.Pierre Courtieu
2010-09-07Fix of previous commit.Pierre Courtieu
2010-09-07half fixed the indentation bug at buffer start.Pierre Courtieu
2010-09-03First fix of bug introduced by the last font-lock fix. Not finished.Pierre Courtieu
2010-09-01Fixed bug #346. Coq code was using proof-ids-to-regexp on regexpPierre Courtieu
2010-08-24coq-comment-at-point: avoid error if command start not foundDavid Aspinall
2009-09-07Fix compile warning, rearrange docsDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-01Remove some old X-Symbol references.David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-28Fixed indentation and goal display.Pierre Courtieu
2008-01-25Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t...David Aspinall
2008-01-24Missing parenDavid Aspinall
2008-01-24Fixes and cleanups for coq-indent-line, see Trac #172David Aspinall
2007-02-28Remove proof-indent-pad-eol atrocityDavid Aspinall
2006-09-15typo in coq-indent.Pierre Courtieu
2006-09-15fixed a typo in last correction.Pierre Courtieu
2006-09-14fixed a bug from Stefan Monnier.Pierre Courtieu
2006-09-13cleaning from Stefan Monnier.Pierre Courtieu
2006-09-13cleaning from Stefan Monnier.Pierre Courtieu
2006-09-08Fixed nested comment support for scripting, in xemacs (worked alreadyPierre Courtieu
2006-09-04Trying to mae indentation aware of nested comments (to be simplifiedPierre Courtieu
2006-08-25Fixed a small bug in indentation of coq.Pierre Courtieu
2006-08-24fixing a bug introduced lately (coq-save-command-p *needs* two argsPierre Courtieu
2006-08-23Fixed indentation and font-lock for coq. Better, faster.Pierre Courtieu
2006-08-23Coq indentation small fixes.Pierre Courtieu
2006-08-23fsf emacs compatibilty for symbol-at-point.Pierre Courtieu
2006-07-04removed debug messages from indentation code.Pierre Courtieu
2006-07-04fix the bug for coq indetation of two consecutive comments. Code isPierre Courtieu
2006-07-04fix a bug in coq indentation (loop). seems to be fixed. I still have aPierre Courtieu
2006-07-04moving coq-goal-command-p to indetation code, as from v8.1, goals arePierre Courtieu
2005-11-07added match...with automatic building from atype name.Pierre Courtieu
2005-02-15Finished making holes.el a real minor-mode. There is a new filePierre Courtieu
2004-08-30debugged the indentation of coq (bug report of Batsiaan Zapf augustPierre Courtieu
2004-03-30added the forall x-symbol to the indent keywords lists.Pierre Courtieu
2004-03-15bug fix in holes (call to proof-indent-line instead of funcallPierre Courtieu
2004-03-15little bug fix in coq-indent.elPierre Courtieu
2004-03-11bug fixes on indenting and command-end-regexp.Pierre Courtieu
2004-03-10compile warning correctionsPierre Courtieu
2004-03-08indentation for coq completely re-coded, because the generic mechanismPierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 14:51:51 +0000