aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-smie.el
AgeCommit message (Expand)Author
2021-03-21Fix #562. Lazy/multi_?match indentation support.Pierre Courtieu
2020-10-16Fix #514 + support for named goal selector.Pierre Courtieu
2020-03-12Fix #465: Indentation of Equations (plugin).Pierre Courtieu
2020-03-02Fix #462.Pierre Courtieu
2020-01-19Generic monadic indentation + specifically ext-lib / Compcert + doc.Pierre Courtieu
2020-01-13Fixing /\ and \/ priority for indentation purpose.Pierre Courtieu
2019-06-17fixing with inductive indentation.Pierre Courtieu
2018-12-26Make coq-mode work without generic/proof-*Stefan Monnier
2018-12-15Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Stefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-08-17Support the Variant vernacularTej Chajed
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2018-01-15Experimental fix for #220.Pierre Courtieu
2017-10-26Limited extensibility of smie token detection.Pierre Courtieu
2017-05-23Fixing #183.Pierre Courtieu
2017-04-19Fix #176.Pierre Courtieu
2017-01-26Fixing #147 and #91 + others indentation bugs.Pierre Courtieu
2016-12-31add second argument to looking-back, required in emacs25Hendrik Tews
2016-06-23Fix a type error hidden until recent emacs.Pierre Courtieu
2016-03-09Fix #47.Pierre Courtieu
2016-03-09Fixing a small glitch in indentation.Pierre Courtieu
2016-03-09Fix #63 (efficiency pb in indentation).Pierre Courtieu
2016-03-08Avoiding useless computation in indentation code.Pierre Courtieu
2016-02-27Add uconstr to the (ltac constr) list in SMIEClément Pit--Claudel
2016-02-27Fix a typo: s/coq-modulestart-proofstart/coq-indent-proofstart/Clément Pit--Claudel
2016-02-27Add a :safe predicate to indentation variablesClément Pit--Claudel
2016-01-14Fix #29 + indentation glitch + regexp refactoring.Pierre Courtieu
2016-01-08Fixing indentation of ";".Pierre Courtieu
2016-01-08indentation of ";" more accurate.Pierre Courtieu
2016-01-08Fixing outdenting in ";" indetation.Pierre Courtieu
2016-01-08Trying to indent ";" differently inside Ltac defs.Pierre Courtieu
2016-01-07Fixed indentation of ";" tactical.Pierre Courtieu
2016-01-06Adding uset preference coq-indent-semicolon-tactical.Pierre Courtieu
2015-12-05Fixed #15 + more speedup of indentation.Pierre Courtieu
2015-11-30Speeding up indentation code (smie lexer).Pierre Courtieu
2015-05-07Fixes #486 with an option.Pierre Courtieu
2015-05-07Yet another half fix of smie lexer.Pierre Courtieu
2015-04-03Trying to prepare indentation cleaning...Pierre Courtieu
2015-03-31Fixed smie code for ";" + added || in grammar.Pierre Courtieu
2015-03-27Fixed a small bug in indentation.Pierre Courtieu
2015-03-24Fixed indetation of tryif then else.Pierre Courtieu
2015-03-23Fixed lazymatch and multimatch indentation/highlighting.Pierre Courtieu
2015-03-05Customization variables for modules, section and proof indentation.Pierre Courtieu
2015-03-04Fixed Proof end/start detection on Proof using ...Pierre Courtieu
2015-01-14changed default indentation of match's cases.Pierre Courtieu
2015-01-09failed and commented attempt at improving indentation of records.Pierre Courtieu
2015-01-05Fixing indentation of pending curly braces.Pierre Courtieu
2015-01-05Fix compile on 23.xDavid Aspinall
2015-01-05trying to indent pending forall in the expected wayPierre Courtieu
2014-12-30fixed indentation (lexing of 'with') + made local coq-load-path.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:12:41 +0000