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
...
*
changed -emacs-U flag to -emacs
Paul Steckler
2017-07-19
*
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
*
Merge pull request #185 from psteckler/remove-contribs
psteckler
2017-05-25
|
\
|
*
Remove mmm and ML4PG contribs and remove references to them in code and docs
Paul Steckler
2017-05-24
*
|
Fixing #183.
Pierre Courtieu
2017-05-23
|
/
*
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
|
\
*
|
Typo from commit 758e679e.
Pierre Courtieu
2017-04-25
*
|
Preparing new warning tags (no more special chars).
Pierre Courtieu
2017-04-24
*
|
Fix #176.
Pierre Courtieu
2017-04-19
*
|
Fixing #173.
Pierre Courtieu
2017-03-31
*
|
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 uses of defpgdefault in coq-abbrev
Clément Pit--Claudel
2017-03-08
|
*
Remove uses of defpacustom in coq-compile-common
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
|
*
Fix incorrect assumption that noninteractive == byte-compiling
Clément Pit--Claudel
2017-03-08
|
/
*
Merge commit '06fd76163b857a056ac44e7437efa17656f06e5b'
Paul Steckler
2017-03-08
|
\
|
*
Fixing unicode tokens in generic code and in coq.
Pierre Courtieu
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
*
|
Merge pull request #163 from ProofGeneral/fix_indentation
Pierre Courtieu
2017-03-03
|
\
\
*
|
|
Refreshing goal when Set Printing xxx. (#162)
Pierre Courtieu
2017-03-03
*
|
|
use Utf8 from Coq library
Paul Steckler
2017-03-02
*
|
|
serveral coqtags fixes and improvements
Hendrik Tews
2017-02-27
*
|
|
Fixing #154.
Pierre Courtieu
2017-02-23
|
|
/
|
/
|
|
*
Fixing #147 and #91 + others indentation bugs.
Pierre Courtieu
2017-01-26
|
/
*
save settings not defined with defpacustom (fixes #142)
Hendrik Tews
2017-01-19
*
split emergency-cleanup to handle interrupts properly (fixes #143)
Hendrik Tews
2017-01-18
*
fix coqtags
Hendrik Tews
2017-01-17
*
Add {Local ,}Axioms like {Local ,}Axiom, fix Parameters (#106)
Jason Gross
2017-01-17
*
Merge pull request #107 from JasonGross/patch-3
hendriktews
2017-01-17
|
\
*
|
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
*
|
Merge pull request #133 from hendriktews/file-error
hendriktews
2016-12-16
|
\
\
*
|
|
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
|
\
\
\
|
|
*
|
die gracefully when visiting files in nonexisting directories
Hendrik Tews
2016-12-15
|
|
/
/
|
/
|
|
*
|
|
fix generic interrupt procedure to interrupt parallel background compilation
Hendrik Tews
2016-12-14
*
|
|
fix race in vio2vo compilation start
Hendrik Tews
2016-12-14
*
|
|
Merge pull request #129 from hendriktews/keep-going
hendriktews
2016-12-14
|
\
\
\
*
\
\
\
Merge pull request #132 from Matafou/master
Pierre Courtieu
2016-12-14
|
\
\
\
\
[prev]
[next]