aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-indent.el
Commit message (Expand)AuthorAge
* Fix trac #420 indentation freezing.Gravatar Pierre Courtieu2011-09-04
* Crude patch for Trac #416. I haven't tried to understand indent code fully, ...Gravatar David Aspinall2011-08-23
* Fixing the scripting of new subproof script parenthesizing ({ and }).Gravatar Pierre Courtieu2011-07-08
* Removed { and } as command terminators for now.Gravatar Pierre Courtieu2011-06-19
* Fix trac #410.Gravatar Pierre Courtieu2011-06-10
* Fix compile errors (seems to be code duplication between coq.el and coq-indent)Gravatar David Aspinall2011-06-09
* 2011-06-07 Stefan Monnier <monnier@iro.umontreal.ca>Gravatar Stefan Monnier2011-06-07
* Updated the old code for indentation, in case Stefan cannot finish theGravatar Pierre Courtieu2011-06-04
* Some small fixes in indentation for coq.Gravatar Pierre Courtieu2011-05-31
* Added indentation for BeginSubProof/EndSubProof.Gravatar Pierre Courtieu2011-05-31
* Fixed the cleaning of goals buffer when proof completedGravatar Pierre Courtieu2010-09-09
* Cleaning indentation code.Gravatar Pierre Courtieu2010-09-09
* Fixed indentation at end of file.Gravatar Pierre Courtieu2010-09-09
* Fixed small bugs in indentation.Gravatar Pierre Courtieu2010-09-09
* Finished fixing the small indentation bug at buffer top.Gravatar Pierre Courtieu2010-09-07
* Fix of previous commit.Gravatar Pierre Courtieu2010-09-07
* half fixed the indentation bug at buffer start.Gravatar Pierre Courtieu2010-09-07
* First fix of bug introduced by the last font-lock fix. Not finished.Gravatar Pierre Courtieu2010-09-03
* Fixed bug #346. Coq code was using proof-ids-to-regexp on regexpGravatar Pierre Courtieu2010-09-01
* coq-comment-at-point: avoid error if command start not foundGravatar David Aspinall2010-08-24
* Fix compile warning, rearrange docsGravatar David Aspinall2009-09-07
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 22:04:53 +0000