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-indent.el
Commit message (
Expand
)
Author
Age
*
Make coq-mode work without generic/proof-*
Stefan Monnier
2018-12-26
*
Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.
Stefan Monnier
2018-12-15
*
Cleanup patch; Moving defvar to toplevel
Stefan Monnier
2018-12-12
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
look for vernac controls before focus bracket, fix for #223
Paul Steckler
2018-01-26
*
Experimental fix for #220.
Pierre Courtieu
2018-01-15
*
Fix incorrect uses of defvar
Clément Pit--Claudel
2017-03-08
*
Fixing a smal glitch in indentation.
Pierre Courtieu
2016-05-27
*
Fix #29 + indentation glitch + regexp refactoring.
Pierre Courtieu
2016-01-14
*
Speeding up indentation (regexp optim).
Pierre Courtieu
2015-12-07
*
Speeding up indentation.
Pierre Courtieu
2015-12-07
*
Fixed #15 + more speedup of indentation.
Pierre Courtieu
2015-12-05
*
Fixed a bug in script navigation. Updated CHANGE
Pierre Courtieu
2015-01-27
*
removed debug message.
Pierre Courtieu
2014-12-30
*
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
*
Supporting more bullets (coq 8.5), like ++ or ++++.
Pierre Courtieu
2014-12-23
*
Summary: Don't quote lambda expressions
Stefan Monnier
2012-08-30
*
Fixed a syntactic recognition function. Should Fix #2819.
Pierre Courtieu
2012-07-05
*
Fix a bug in coq indet code when at the beginning of a buffer.
Pierre Courtieu
2012-06-14
*
Trying to minimize the slowness of indentation when no "Proof." is
Pierre Courtieu
2012-06-11
*
Fixed an ineficiency in comment detection.
Pierre Courtieu
2012-02-10
*
Cleaning some code.
Pierre Courtieu
2012-02-01
*
Quick fix of a regression introduced by my last commit. Looking for a
Pierre Courtieu
2012-02-01
*
Fixed command end recognition in presence of operators of the form .+
Pierre Courtieu
2012-02-01
*
Adapting coq syntax recognition to the future v8.4 behavior of bullets
Pierre Courtieu
2011-12-16
*
Fix trac #420 indentation freezing.
Pierre Courtieu
2011-09-04
*
Crude patch for Trac #416. I haven't tried to understand indent code fully, ...
David Aspinall
2011-08-23
*
Fixing the scripting of new subproof script parenthesizing ({ and }).
Pierre Courtieu
2011-07-08
*
Removed { and } as command terminators for now.
Pierre Courtieu
2011-06-19
*
Fix trac #410.
Pierre Courtieu
2011-06-10
*
Fix compile errors (seems to be code duplication between coq.el and coq-indent)
David Aspinall
2011-06-09
*
2011-06-07 Stefan Monnier <monnier@iro.umontreal.ca>
Stefan Monnier
2011-06-07
*
Updated the old code for indentation, in case Stefan cannot finish the
Pierre Courtieu
2011-06-04
*
Some small fixes in indentation for coq.
Pierre Courtieu
2011-05-31
*
Added indentation for BeginSubProof/EndSubProof.
Pierre Courtieu
2011-05-31
*
Fixed the cleaning of goals buffer when proof completed
Pierre Courtieu
2010-09-09
*
Cleaning indentation code.
Pierre Courtieu
2010-09-09
*
Fixed indentation at end of file.
Pierre Courtieu
2010-09-09
*
Fixed small bugs in indentation.
Pierre Courtieu
2010-09-09
*
Finished fixing the small indentation bug at buffer top.
Pierre Courtieu
2010-09-07
*
Fix of previous commit.
Pierre Courtieu
2010-09-07
*
half fixed the indentation bug at buffer start.
Pierre Courtieu
2010-09-07
*
First fix of bug introduced by the last font-lock fix. Not finished.
Pierre Courtieu
2010-09-03
*
Fixed bug #346. Coq code was using proof-ids-to-regexp on regexp
Pierre Courtieu
2010-09-01
*
coq-comment-at-point: avoid error if command start not found
David Aspinall
2010-08-24
*
Fix compile warning, rearrange docs
David Aspinall
2009-09-07
*
Clean whitespace
David Aspinall
2009-09-05
*
Remove some old X-Symbol references.
David Aspinall
2009-09-01
[next]