index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
coq
/
coq-smie.el
Commit message (
Expand
)
Author
Age
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
Experimental fix for #220.
Pierre Courtieu
2018-01-15
*
Limited extensibility of smie token detection.
Pierre Courtieu
2017-10-26
*
Fixing #183.
Pierre Courtieu
2017-05-23
*
Fix #176.
Pierre Courtieu
2017-04-19
*
Fixing #147 and #91 + others indentation bugs.
Pierre Courtieu
2017-01-26
*
add second argument to looking-back, required in emacs25
Hendrik Tews
2016-12-31
*
Fix a type error hidden until recent emacs.
Pierre Courtieu
2016-06-23
*
Fix #47.
Pierre Courtieu
2016-03-09
*
Fixing a small glitch in indentation.
Pierre Courtieu
2016-03-09
*
Fix #63 (efficiency pb in indentation).
Pierre Courtieu
2016-03-09
*
Avoiding useless computation in indentation code.
Pierre Courtieu
2016-03-08
*
Add uconstr to the (ltac constr) list in SMIE
Clément Pit--Claudel
2016-02-27
*
Fix a typo: s/coq-modulestart-proofstart/coq-indent-proofstart/
Clément Pit--Claudel
2016-02-27
*
Add a :safe predicate to indentation variables
Clément Pit--Claudel
2016-02-27
*
Fix #29 + indentation glitch + regexp refactoring.
Pierre Courtieu
2016-01-14
*
Fixing indentation of ";".
Pierre Courtieu
2016-01-08
*
indentation of ";" more accurate.
Pierre Courtieu
2016-01-08
*
Fixing outdenting in ";" indetation.
Pierre Courtieu
2016-01-08
*
Trying to indent ";" differently inside Ltac defs.
Pierre Courtieu
2016-01-08
*
Fixed indentation of ";" tactical.
Pierre Courtieu
2016-01-07
*
Adding uset preference coq-indent-semicolon-tactical.
Pierre Courtieu
2016-01-06
*
Fixed #15 + more speedup of indentation.
Pierre Courtieu
2015-12-05
*
Speeding up indentation code (smie lexer).
Pierre Courtieu
2015-11-30
*
Fixes #486 with an option.
Pierre Courtieu
2015-05-07
*
Yet another half fix of smie lexer.
Pierre Courtieu
2015-05-07
*
Trying to prepare indentation cleaning...
Pierre Courtieu
2015-04-03
*
Fixed smie code for ";" + added || in grammar.
Pierre Courtieu
2015-03-31
*
Fixed a small bug in indentation.
Pierre Courtieu
2015-03-27
*
Fixed indetation of tryif then else.
Pierre Courtieu
2015-03-24
*
Fixed lazymatch and multimatch indentation/highlighting.
Pierre Courtieu
2015-03-23
*
Customization variables for modules, section and proof indentation.
Pierre Courtieu
2015-03-05
*
Fixed Proof end/start detection on Proof using ...
Pierre Courtieu
2015-03-04
*
changed default indentation of match's cases.
Pierre Courtieu
2015-01-14
*
failed and commented attempt at improving indentation of records.
Pierre Courtieu
2015-01-09
*
Fixing indentation of pending curly braces.
Pierre Courtieu
2015-01-05
*
Fix compile on 23.x
David Aspinall
2015-01-05
*
trying to indent pending forall in the expected way
Pierre Courtieu
2015-01-05
*
fixed indentation (lexing of 'with') + made local coq-load-path.
Pierre Courtieu
2014-12-30
*
fixed a bug in command parsing for coq, due to recent changes.
Pierre Courtieu
2014-12-24
*
typo in indentation cod, found after testing coq/ex/indent.v.
Pierre Courtieu
2014-12-24
*
fixing a small pb in indentation of arrow (->). Not perfect.
Pierre Courtieu
2014-12-24
*
fixed the use of >= 24.4 function string-suffix-p.
Pierre Courtieu
2014-12-24
*
Supporting more bullets (coq 8.5), like ++ or ++++.
Pierre Courtieu
2014-12-23
*
* coq/coq-smie.el: Fix precedence of 'else'.
Stefan Monnier
2014-06-06
*
* coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.
Stefan Monnier
2014-06-04
*
Rename coq-smie-lexer.el to coq-smie.el.
Stefan Monnier
2014-06-03