aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-smie.el
AgeCommit message (Expand)Author
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
2014-12-24fixed a bug in command parsing for coq, due to recent changes.Pierre Courtieu
2014-12-24typo in indentation cod, found after testing coq/ex/indent.v.Pierre Courtieu
2014-12-24fixing a small pb in indentation of arrow (->). Not perfect.Pierre Courtieu
2014-12-24fixed the use of >= 24.4 function string-suffix-p.Pierre Courtieu
2014-12-23Supporting more bullets (coq 8.5), like ++ or ++++.Pierre Courtieu
2014-06-06* coq/coq-smie.el: Fix precedence of 'else'.Stefan Monnier
2014-06-04* coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.Stefan Monnier
2014-06-03Rename coq-smie-lexer.el to coq-smie.el.Stefan Monnier
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 06:30:32 +0000