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-db.el
Commit message (
Expand
)
Author
Age
*
First fix of bug introduced by the last font-lock fix. Not finished.
Pierre Courtieu
2010-09-03
*
Style fixes
David Aspinall
2010-08-30
*
Added some more syntax keywords. Made admit tactic with its own red
Pierre Courtieu
2009-09-17
*
Fix compile warnings
David Aspinall
2009-09-16
*
Require cl for compilation. Rearrange docs.
David Aspinall
2009-09-07
*
Clean whitespace
David Aspinall
2009-09-05
*
Made customizable holes mode completion in abbreviations.
Pierre Courtieu
2009-08-31
*
Fixing parenthesis not accepted by recent emacs anymore. fix by Stefan
Pierre Courtieu
2008-10-22
*
Fixed a problem with a wrong side effect on syntax databases (when
Pierre Courtieu
2008-01-28
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
Fixed abbrev installation. + small fixes.
Pierre Courtieu
2008-01-03
*
Require for defface macro
David Aspinall
2007-12-14
*
Fix compilation problems and rearrange startup settings for coq-prog-name,coq...
David Aspinall
2007-12-14
*
adding coq-solve tactics
Assia Mahboubi
2007-11-20
*
Menu are now correctly sorted.
Pierre Courtieu
2007-11-07
*
Debugging font-lock regexps. Bad order: longer regexp should be put
Pierre Courtieu
2007-11-07
*
Fixed small colorizing bugs (when keywords contain sub words colorized
Pierre Courtieu
2007-10-30
*
Updated.
David Aspinall
2006-09-07
*
Small fixes.
Pierre Courtieu
2006-08-25
*
Changed default coq version (8.1)
Pierre Courtieu
2006-08-25
*
Cleaning in coq and lib, fixed licenses and docstrings.
Pierre Courtieu
2006-08-23