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
*
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
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Fixed indentation and goal display.
Pierre Courtieu
2008-01-28
*
Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t...
David Aspinall
2008-01-25
*
Missing paren
David Aspinall
2008-01-24
*
Fixes and cleanups for coq-indent-line, see Trac #172
David Aspinall
2008-01-24
*
Remove proof-indent-pad-eol atrocity
David Aspinall
2007-02-28
*
typo in coq-indent.
Pierre Courtieu
2006-09-15
*
fixed a typo in last correction.
Pierre Courtieu
2006-09-15
*
fixed a bug from Stefan Monnier.
Pierre Courtieu
2006-09-14
*
cleaning from Stefan Monnier.
Pierre Courtieu
2006-09-13
*
cleaning from Stefan Monnier.
Pierre Courtieu
2006-09-13
*
Fixed nested comment support for scripting, in xemacs (worked already
Pierre Courtieu
2006-09-08
*
Trying to mae indentation aware of nested comments (to be simplified
Pierre Courtieu
2006-09-04
*
Fixed a small bug in indentation of coq.
Pierre Courtieu
2006-08-25
*
fixing a bug introduced lately (coq-save-command-p *needs* two args
Pierre Courtieu
2006-08-24
*
Fixed indentation and font-lock for coq. Better, faster.
Pierre Courtieu
2006-08-23
*
Coq indentation small fixes.
Pierre Courtieu
2006-08-23
*
fsf emacs compatibilty for symbol-at-point.
Pierre Courtieu
2006-08-23
*
removed debug messages from indentation code.
Pierre Courtieu
2006-07-04
*
fix the bug for coq indetation of two consecutive comments. Code is
Pierre Courtieu
2006-07-04
*
fix a bug in coq indentation (loop). seems to be fixed. I still have a
Pierre Courtieu
2006-07-04
*
moving coq-goal-command-p to indetation code, as from v8.1, goals are
Pierre Courtieu
2006-07-04
*
added match...with automatic building from atype name.
Pierre Courtieu
2005-11-07
*
Finished making holes.el a real minor-mode. There is a new file
Pierre Courtieu
2005-02-15
*
debugged the indentation of coq (bug report of Batsiaan Zapf august
Pierre Courtieu
2004-08-30
*
added the forall x-symbol to the indent keywords lists.
Pierre Courtieu
2004-03-30
*
bug fix in holes (call to proof-indent-line instead of funcall
Pierre Courtieu
2004-03-15
*
little bug fix in coq-indent.el
Pierre Courtieu
2004-03-15
*
bug fixes on indenting and command-end-regexp.
Pierre Courtieu
2004-03-11
*
compile warning corrections
Pierre Courtieu
2004-03-10
[next]