aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-indent.el
Commit message (Expand)AuthorAge
* Simpler fix for #411.Gravatar Pierre Courtieu2019-02-12
* Fixes #411.Gravatar Pierre Courtieu2019-02-12
* Make coq-mode work without generic/proof-*Gravatar Stefan Monnier2018-12-26
* Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Gravatar Stefan Monnier2018-12-15
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* look for vernac controls before focus bracket, fix for #223Gravatar Paul Steckler2018-01-26
* Experimental fix for #220.Gravatar Pierre Courtieu2018-01-15
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
* Fixing a smal glitch in indentation.Gravatar Pierre Courtieu2016-05-27
* Fix #29 + indentation glitch + regexp refactoring.Gravatar Pierre Courtieu2016-01-14
* Speeding up indentation (regexp optim).Gravatar Pierre Courtieu2015-12-07
* Speeding up indentation.Gravatar Pierre Courtieu2015-12-07
* Fixed #15 + more speedup of indentation.Gravatar Pierre Courtieu2015-12-05
* Fixed a bug in script navigation. Updated CHANGEGravatar Pierre Courtieu2015-01-27
* removed debug message.Gravatar Pierre Courtieu2014-12-30
* fixed indentation (lexing of 'with') + made local coq-load-path.Gravatar Pierre Courtieu2014-12-30
* fixed a bug in command parsing for coq, due to recent changes.Gravatar Pierre Courtieu2014-12-24
* Supporting more bullets (coq 8.5), like ++ or ++++.Gravatar Pierre Courtieu2014-12-23
* Summary: Don't quote lambda expressionsGravatar Stefan Monnier2012-08-30
* Fixed a syntactic recognition function. Should Fix #2819.Gravatar Pierre Courtieu2012-07-05
* Fix a bug in coq indet code when at the beginning of a buffer.Gravatar Pierre Courtieu2012-06-14
* Trying to minimize the slowness of indentation when no "Proof." isGravatar Pierre Courtieu2012-06-11
* Fixed an ineficiency in comment detection.Gravatar Pierre Courtieu2012-02-10
* Cleaning some code.Gravatar Pierre Courtieu2012-02-01
* Quick fix of a regression introduced by my last commit. Looking for aGravatar Pierre Courtieu2012-02-01
* Fixed command end recognition in presence of operators of the form .+Gravatar Pierre Courtieu2012-02-01
* Adapting coq syntax recognition to the future v8.4 behavior of bulletsGravatar Pierre Courtieu2011-12-16
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 01:27:50 +0000