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
*
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
*
indentation for coq completely re-coded, because the generic mechanism
Pierre Courtieu
2004-03-08