aboutsummaryrefslogtreecommitdiff
path: root/coq/ex/indent.v
AgeCommit message (Expand)Author
2020-10-16Fix #514 + support for named goal selector.Pierre Courtieu
2020-01-19Generic monadic indentation + specifically ext-lib / Compcert + doc.Pierre Courtieu
2019-06-17fixing with inductive indentation.Pierre Courtieu
2017-05-23Fixing #183.Pierre Courtieu
2017-01-26Fixing #147 and #91 + others indentation bugs.Pierre Courtieu
2015-03-23Fixed lazymatch and multimatch indentation/highlighting.Pierre Courtieu
2015-01-05Fixing indentation of pending curly braces.Pierre Courtieu
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-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
2013-07-11Fixing another bug in indentation concerning "where". Actually therePierre Courtieu
2012-07-10Fixed incorrect syntax of previous commit.Pierre Courtieu
2012-06-08Indentation is a bit more accurate.Pierre Courtieu
2012-06-07Fix indentation of dependent match clauses (as ... in ... return ...).Pierre Courtieu
2012-06-04One more fix for indentation.Pierre Courtieu
2012-06-03Fix a bug of indentation.Pierre Courtieu
2012-02-10Fixed an ineficiency in comment detection.Pierre Courtieu
2011-07-08Fixing the scripting of new subproof script parenthesizing ({ and }).Pierre Courtieu
2011-07-01Some more sample indentation patterns added.Pierre Courtieu
2011-06-17oops, undo last commit.Pierre Courtieu
2011-06-10Fix trac #410.Pierre Courtieu
2011-06-08Added one indentation example.Pierre Courtieu
2011-06-04Updated the old code for indentation, in case Stefan cannot finish thePierre Courtieu
2010-09-09Fixed small bugs in indentation.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:32:25 +0000