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
Commit message (
Expand
)
Author
Age
*
* coq-mode.el: New file to make coq-mode independent from PG
Stefan Monnier
2018-12-22
*
Merge branch 'master' of github.com:ProofGeneral/PG
Pierre Courtieu
2018-12-20
|
\
*
|
Fixes #395: hyps highlight is transient and with gray background.
Pierre Courtieu
2018-12-20
|
*
Quote ?( ?)
soraros
2018-12-19
|
*
Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.
Stefan Monnier
2018-12-15
|
*
Prepend cl- to more c[ad]+r instances
Clément Pit-Claudel
2018-12-15
|
*
Use cl-caddr instead of caddr
Clément Pit-Claudel
2018-12-15
|
*
Fix remaining uses of CL; Make files more declarative
Stefan Monnier
2018-12-14
|
/
*
Fixes the fix of #407. Is this temporary.
Pierre Courtieu
2018-12-14
*
Merge branch 'master' of github.com:ProofGeneral/PG
Pierre Courtieu
2018-12-14
|
\
*
|
Fix #407: -topfile added if coq > v8.10alpha.
Pierre Courtieu
2018-12-14
|
*
Use `cl-lib` instead of `cl` everywhere
Stefan Monnier
2018-12-13
|
*
Cleanup patch; Moving defvar to toplevel
Stefan Monnier
2018-12-12
|
/
*
Ignore ephemeral buffers, and buffers not pointed at files.
Calvin Beck
2018-11-01
*
Use non-remote path to expand paths in _CoqProject when file is remote.
Daniel Patterson
2018-10-30
*
Fix parsing of -arg in _CoqProject file
Anton Trunov
2018-09-27
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Merge pull request #379 from tchajed/variant-keyword
Clément Pit-Claudel
2018-08-21
|
\
*
\
Merge branch 'master' of github.com:ProofGeneral/PG
Pierre Courtieu
2018-08-18
|
\
\
*
|
|
Fix #7980, keep option order unchanged.
Pierre Courtieu
2018-08-18
|
|
*
Support the Variant vernacular
Tej Chajed
2018-08-17
|
|
/
|
*
Add coq-Print-Ltac to print an Ltac term
John Grosen
2018-08-07
|
/
*
Fixing last commit.
Pierre Courtieu
2018-06-15
*
Fix #368 (emacs < 25 split-string has no trim arg).
Pierre Courtieu
2018-06-15
*
small fix on hyp overlays.
Pierre Courtieu
2018-06-13
*
Fix multiple hyp overlays.
Pierre Courtieu
2018-06-13
*
Fix the fix #355.
Pierre Courtieu
2018-06-13
*
Small bug unhighlighting.
Pierre Courtieu
2018-06-11
*
fix #355 + probable bug.
Pierre Courtieu
2018-06-11
*
key maps + small glitch hyp highlight/folding code.
Pierre Courtieu
2018-06-11
*
Changed the look of folding/unfolding hyps.
Pierre Courtieu
2018-06-08
*
Small fix in a regexp.
Pierre Courtieu
2018-06-06
*
Shorter CHANGES + smal fixes in hide/highlight hyps code.
Pierre Courtieu
2018-06-04
*
Click hypothesis to (un)hide them.
Pierre Courtieu
2018-06-01
*
Fixed a typo in previous commits.
Pierre Courtieu
2018-06-01
*
Infrastructure for hypothesis hiding.
Pierre Courtieu
2018-05-31
*
Fixing infrastructure for hypothesis highlighting.
Pierre Courtieu
2018-05-31
*
Merge branch 'master' of github.com:ProofGeneral/PG
Pierre Courtieu
2018-05-31
|
\
*
|
Infrastructure for transient hyps highlighting.
Pierre Courtieu
2018-05-31
|
*
small fix of face `coq-symbol-face'
stardiviner
2018-04-22
|
*
Merge pull request #207 from SkySkimmer/master
Erik Martin-Dorel
2018-04-08
|
/
|
*
|
Fix typos in custom variable descriptions. (#236)
Tej Chajed
2018-03-03
*
|
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
|
typo in abbrevs.
Pierre Courtieu
2018-02-07
*
|
look for vernac controls before focus bracket, fix for #223
Paul Steckler
2018-01-26
*
|
Experimental fix for #220.
Pierre Courtieu
2018-01-15
|
*
Make coq-prog-args safe when list of strings.
Gaëtan Gilbert
2017-12-22
*
|
Fix #214.
Pierre Courtieu
2017-12-11
*
|
Prettier cheat face (background + box).
Pierre Courtieu
2017-11-06
*
|
Fix #135.
Pierre Courtieu
2017-11-06
[next]