aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-smie.el
Commit message (Expand)AuthorAge
* 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
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Support the Variant vernacularGravatar Tej Chajed2018-08-17
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Experimental fix for #220.Gravatar Pierre Courtieu2018-01-15
* Limited extensibility of smie token detection.Gravatar Pierre Courtieu2017-10-26
* Fixing #183.Gravatar Pierre Courtieu2017-05-23
* Fix #176.Gravatar Pierre Courtieu2017-04-19
* Fixing #147 and #91 + others indentation bugs.Gravatar Pierre Courtieu2017-01-26
* add second argument to looking-back, required in emacs25Gravatar Hendrik Tews2016-12-31
* Fix a type error hidden until recent emacs.Gravatar Pierre Courtieu2016-06-23
* Fix #47.Gravatar Pierre Courtieu2016-03-09
* Fixing a small glitch in indentation.Gravatar Pierre Courtieu2016-03-09
* Fix #63 (efficiency pb in indentation).Gravatar Pierre Courtieu2016-03-09
* Avoiding useless computation in indentation code.Gravatar Pierre Courtieu2016-03-08
* Add uconstr to the (ltac constr) list in SMIEGravatar Clément Pit--Claudel2016-02-27
* Fix a typo: s/coq-modulestart-proofstart/coq-indent-proofstart/Gravatar Clément Pit--Claudel2016-02-27
* Add a :safe predicate to indentation variablesGravatar Clément Pit--Claudel2016-02-27
* Fix #29 + indentation glitch + regexp refactoring.Gravatar Pierre Courtieu2016-01-14
* Fixing indentation of ";".Gravatar Pierre Courtieu2016-01-08
* indentation of ";" more accurate.Gravatar Pierre Courtieu2016-01-08
* Fixing outdenting in ";" indetation.Gravatar Pierre Courtieu2016-01-08
* Trying to indent ";" differently inside Ltac defs.Gravatar Pierre Courtieu2016-01-08
* Fixed indentation of ";" tactical.Gravatar Pierre Courtieu2016-01-07
* Adding uset preference coq-indent-semicolon-tactical.Gravatar Pierre Courtieu2016-01-06
* Fixed #15 + more speedup of indentation.Gravatar Pierre Courtieu2015-12-05
* Speeding up indentation code (smie lexer).Gravatar Pierre Courtieu2015-11-30
* Fixes #486 with an option.Gravatar Pierre Courtieu2015-05-07
* Yet another half fix of smie lexer.Gravatar Pierre Courtieu2015-05-07
* Trying to prepare indentation cleaning...Gravatar Pierre Courtieu2015-04-03
* Fixed smie code for ";" + added || in grammar.Gravatar Pierre Courtieu2015-03-31
* Fixed a small bug in indentation.Gravatar Pierre Courtieu2015-03-27
* Fixed indetation of tryif then else.Gravatar Pierre Courtieu2015-03-24
* Fixed lazymatch and multimatch indentation/highlighting.Gravatar Pierre Courtieu2015-03-23
* Customization variables for modules, section and proof indentation.Gravatar Pierre Courtieu2015-03-05
* Fixed Proof end/start detection on Proof using ...Gravatar Pierre Courtieu2015-03-04
* changed default indentation of match's cases.Gravatar Pierre Courtieu2015-01-14
* failed and commented attempt at improving indentation of records.Gravatar Pierre Courtieu2015-01-09
* Fixing indentation of pending curly braces.Gravatar Pierre Courtieu2015-01-05
* Fix compile on 23.xGravatar David Aspinall2015-01-05
* trying to indent pending forall in the expected wayGravatar Pierre Courtieu2015-01-05
* 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
* typo in indentation cod, found after testing coq/ex/indent.v.Gravatar Pierre Courtieu2014-12-24
* fixing a small pb in indentation of arrow (->). Not perfect.Gravatar Pierre Courtieu2014-12-24
* fixed the use of >= 24.4 function string-suffix-p.Gravatar Pierre Courtieu2014-12-24
* Supporting more bullets (coq 8.5), like ++ or ++++.Gravatar Pierre Courtieu2014-12-23
* * coq/coq-smie.el: Fix precedence of 'else'.Gravatar Stefan Monnier2014-06-06
* * coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.Gravatar Stefan Monnier2014-06-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 10:12:44 +0000