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
...
*
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
[prev]