index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Fixing unicode tokens in generic code and in coq.
Pierre Courtieu
2017-03-08
*
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
*
move phox from main to obscure instances
Hendrik Tews
2017-01-17
*
use makeinfo instead of texi2html
Hendrik Tews
2017-01-17
*
fix coqtags
Hendrik Tews
2017-01-17
*
Add {Local ,}Axioms like {Local ,}Axiom, fix Parameters (#106)
Jason Gross
2017-01-17
*
Merge pull request #44 from EasyCrypt/master
hendriktews
2017-01-17
|
\
*
\
Merge pull request #107 from JasonGross/patch-3
hendriktews
2017-01-17
|
\
\
*
|
|
fix icon installation and add 64 and 128 square icons (fixes #141)
Hendrik Tews
2017-01-17
*
|
|
Fix prooftree for Coq 8.6
Hendrik Tews
2017-01-14
*
|
|
Merge remote-tracking branch 'OFFICIAL/master'
Pierre Courtieu
2017-01-04
|
\
\
\
*
|
|
|
Fixing #121 + avoid hiding user windows too much.
Pierre Courtieu
2017-01-04
|
*
|
|
A first pass at converting from CVS to git. (#127)
zhenya1007
2016-12-31
|
*
|
|
add second argument to looking-back, required in emacs25
Hendrik Tews
2016-12-31
|
*
|
|
fix prooftree crash with long evar lines
Hendrik Tews
2016-12-28
|
*
|
|
properly reset the vio2vo delay timer
Hendrik Tews
2016-12-28
|
*
|
|
Fix doc for Coq electric terminator.
Erik Martin-Dorel
2016-12-26
|
*
|
|
Merge pull request #133 from hendriktews/file-error
hendriktews
2016-12-16
|
|
\
\
\
|
*
|
|
|
add quote to fix commit e3cc66dc2e60683531d75c12256d059ccbc64576
Hendrik Tews
2016-12-15
|
*
|
|
|
Improve doc on coq project file
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
|
*
|
|
|
fix parallel build and other issues in Makefile (fixes #130)
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
|
\
\
\
\
\
|
*
|
|
|
|
Same name guessing for coqc/coqdep then for coqtop.
Pierre Courtieu
2016-12-13
|
*
|
|
|
|
remove default absolute name from coq-prog-name, but keep dipsplaying it when...
Pierre Courtieu
2016-12-12
|
|
*
|
|
|
documentation and CHANGES for coq-compile-keep-going
Hendrik Tews
2016-12-08
|
|
*
|
|
|
option coq-compile-keep-going for parallel compilation
Hendrik Tews
2016-12-08
|
|
*
|
|
|
remove ancestor hash in Coq parallel background compilation
Hendrik Tews
2016-12-02
|
|
/
/
/
/
|
/
|
|
|
|
*
|
|
|
|
fix customize-group coq
Hendrik Tews
2016-11-30
*
|
|
|
|
fix 2 compilation warnings (fixes #33)
Hendrik Tews
2016-11-30
*
|
|
|
|
style change: use when for if coq-debug-auto-compilation
Hendrik Tews
2016-11-30
*
|
|
|
|
Merge pull request #125 from hendriktews/quick
hendriktews
2016-11-30
|
\
\
\
\
\
|
|
/
/
/
/
|
/
|
|
|
|
|
*
|
|
|
use coq-- for internal compilation variables
Hendrik Tews
2016-11-30
|
*
|
|
|
write CHANGES
Hendrik Tews
2016-11-30
|
*
|
|
|
next-error support for vio2vo error messages
Hendrik Tews
2016-11-30
|
*
|
|
|
update documentation
Hendrik Tews
2016-11-29
|
*
|
|
|
delay vio2vo compilation
Hendrik Tews
2016-11-29
|
*
|
|
|
8.4 compatibility for quick support
Hendrik Tews
2016-11-29
|
*
|
|
|
don't unnecessarily delete .vio files for ensure-vo
Hendrik Tews
2016-11-29
|
*
|
|
|
support vio2vo background processing
Hendrik Tews
2016-11-29
|
*
|
|
|
improve compilation when both .vio and .vo are up-to-date
Hendrik Tews
2016-11-22
|
*
|
|
|
reconcile menu for auto compilation
Hendrik Tews
2016-11-18
|
*
|
|
|
fix parallel compilation for the unlikely case of identical time stamps
Hendrik Tews
2016-11-17
|
*
|
|
|
first version for quick compilation
Hendrik Tews
2016-11-16
|
/
/
/
/
[next]