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.el
Commit message (
Expand
)
Author
Age
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Add coq-Print-Ltac to print an Ltac term
John Grosen
2018-08-07
*
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
*
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
*
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
*
Infrastructure for transient hyps highlighting.
Pierre Courtieu
2018-05-31
*
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
*
Fix #214.
Pierre Courtieu
2017-12-11
*
Fixing a bug with Set/Unset commands due to recent commits.
Pierre Courtieu
2017-06-08
*
Adding a Set Silent + Show when backtracking into a proof.
Pierre Courtieu
2017-06-06
*
Remove mmm and ML4PG contribs and remove references to them in code and docs
Paul Steckler
2017-05-24
*
Fixing Set/Unset Printing broken by auto "Show".
Pierre Courtieu
2017-05-16
*
temporary fix of automatic intros.
Pierre Courtieu
2017-05-12
*
Change (eval-when (compile) ...) to (eval-when-compile ...)
Clément Pit--Claudel
2017-05-05
*
Merge pull request #157 from ProofGeneral/elpa
Clément Pit-Claudel
2017-05-05
|
\
*
|
Preparing new warning tags (no more special chars).
Pierre Courtieu
2017-04-24
*
|
Added support for future new options (trunk).
Pierre Courtieu
2017-03-22
|
*
Add a FIXME in coq.el
Clément Pit--Claudel
2017-03-08
|
*
Remove compile-time calls to proof-ready-for-assistant
Clément Pit--Claudel
2017-03-08
|
*
Remove unnecessary calls to 'eval-and-compile'
Clément Pit--Claudel
2017-03-08
|
*
Fix incorrect uses of defvar
Clément Pit--Claudel
2017-03-08
|
/
*
get threeb frames only when needed
Paul Steckler
2017-03-06
*
one more redundant call removed
Paul Steckler
2017-03-06
*
remove redundant calls, simplify code
Paul Steckler
2017-03-06
*
Refreshing goal when Set Printing xxx. (#162)
Pierre Courtieu
2017-03-03
*
Fixing #154.
Pierre Courtieu
2017-02-23
*
save settings not defined with defpacustom (fixes #142)
Hendrik Tews
2017-01-19
*
Fix prooftree for Coq 8.6
Hendrik Tews
2017-01-14
*
add second argument to looking-back, required in emacs25
Hendrik Tews
2016-12-31
*
properly reset the vio2vo delay timer
Hendrik Tews
2016-12-28
*
add quote to fix commit e3cc66dc2e60683531d75c12256d059ccbc64576
Hendrik Tews
2016-12-15
*
fix :get for coq-search-blacklist
Hendrik Tews
2016-12-15
*
Merge pull request #101 from tchajed/print-universes-option
hendriktews
2016-12-15
|
\
*
|
fix customize-group coq
Hendrik Tews
2016-11-30
|
*
Add Set Printing Universes to options menu
Tej Chajed
2016-08-15
|
/
*
Replace "Set Implicit Arguments" option with "Set Printing Implicit".
Erik Martin-Dorel
2016-08-14
*
Coq: option to prefer top over bottom of concl.
Pierre Courtieu
2016-06-23
*
Merge branch 'master' of github.com:ProofGeneral/PG
Pierre Courtieu
2016-05-20
|
\
*
|
Fix #72+ make user keywords prioritized over default ones.
Pierre Courtieu
2016-05-20
|
*
Merge branch 'master' of github.com:ProofGeneral/PG
Clément Pit--Claudel
2016-05-16
|
|
\
|
|
/
|
/
|
|
*
Don't offer "" as the default in C-c C-c C-a
Clément Pit--Claudel
2016-05-16
[next]