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
*
Changed the look of folding/unfolding hyps.
Pierre Courtieu
2018-06-08
*
small fix of face `coq-symbol-face'
stardiviner
2018-04-22
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
Prettier cheat face (background + box).
Pierre Courtieu
2017-11-06
*
Fix #135.
Pierre Courtieu
2017-11-06
*
Adding the option to highlight susual symbols.
Pierre Courtieu
2016-07-22
*
Highlight ltac:(), constr:(), and uconstr:()
Clément Pit--Claudel
2016-03-05
*
Introduce a coq-question-mark-face
Clément Pit--Claudel
2015-11-23
*
bold unicode biders + Fixing highlighting in goals and response buffers + cle...
Pierre Courtieu
2015-04-14
*
Added comment.
Pierre Courtieu
2015-04-07
*
Added a command to send Queries to coq, with completion (C-c C-a C-q).
Pierre Courtieu
2015-03-13
*
Fixed a bug with function name "eval" (end of).
Pierre Courtieu
2012-09-06
*
Fix lambda quote
David Aspinall
2012-08-16
*
Summary: coq-smie: improve indentation.
Stefan Monnier
2011-06-07
*
Fixes in strings/comments from Erik Martin-Dorel
David Aspinall
2010-10-04
*
Fixed colorization bug #356, introduced by a previous fix of bug 140.
Pierre Courtieu
2010-09-28
*
Fix some bugs in coq regexp generation
David Aspinall
2010-09-22
*
Fix compile
David Aspinall
2010-09-08
*
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