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-compile-common.el
Commit message (
Expand
)
Author
Age
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
Change (eval-when (compile) ...) to (eval-when-compile ...)
Clément Pit--Claudel
2017-05-05
*
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
*
Fix incorrect uses of defvar
Clément Pit--Claudel
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
*
die gracefully when visiting files in nonexisting directories
Hendrik Tews
2016-12-15
*
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
*
style change: use when for if coq-debug-auto-compilation
Hendrik Tews
2016-11-30
*
use coq-- for internal compilation variables
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
*
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
*
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
*
ensure coq-compile-response-buffer is not in a dedicated window
Hendrik Tews
2016-10-28
*
fix coq-require-command-regexp (fixes #75)
Hendrik Tews
2016-10-28
*
Should fix #49 and #55 (compilation of From .. Require).
Pierre Courtieu
2016-03-08
*
Refactoring. New file coq-system.el.
Pierre Courtieu
2015-12-14
*
Small refactoring of coqxxx args detection.
Pierre Courtieu
2015-12-14
*
Fixing coq-prog-arg for auto compilation.
Pierre Courtieu
2015-12-14
*
compilation fix (coq-pre-v85).
Pierre Courtieu
2015-11-13
*
coq-pre-v85 option to fix coqdep invocation in [compile before require].
Pierre Courtieu
2015-11-02
*
Coqtop always restarted when switching script buffer.
Pierre Courtieu
2015-03-03
*
Fixed read-only error for compile before require option.
Pierre Courtieu
2015-02-11
*
Fix coq project parsing and interpreting for coq v8.5.
Pierre Courtieu
2015-01-27
*
fixed indentation (lexing of 'with') + made local coq-load-path.
Pierre Courtieu
2014-12-30
*
- fix asserting when parallel background compilation is in progress
Hendrik Tews
2013-01-03
*
all-cpus option for coq-max-background-compilation-jobs
Hendrik Tews
2012-11-14
*
update documentation
Hendrik Tews
2012-11-14
*
- first version of parallel asynchronous compilation for coq in
Hendrik Tews
2012-11-13
*
move ancestor locking back into specific part
Hendrik Tews
2012-11-06
*
move ancestor locking/unlocking to coq-compile-common
Hendrik Tews
2012-11-05
*
move buffer saving to coq-compile-common
Hendrik Tews
2012-11-05
*
make coq-include-options independent of current buffer
Hendrik Tews
2012-11-03
*
move another 2 functions into coq-compile-common
Hendrik Tews
2012-11-03
*
move function for coq-compile-response-buffer to coq-compile-common.el
Hendrik Tews
2012-11-01
*
move some more material into coq-compile-common
Hendrik Tews
2012-10-30
*
move general part of compilation into coq-compile-common.el
Hendrik Tews
2012-10-30