aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-compile-common.el
Commit message (Expand)AuthorAge
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Ignore ephemeral buffers, and buffers not pointed at files.Gravatar Calvin Beck2018-11-01
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* Remove uses of defpacustom in coq-compile-commonGravatar Clément Pit--Claudel2017-03-08
* Remove compile-time calls to proof-ready-for-assistantGravatar Clément Pit--Claudel2017-03-08
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
* save settings not defined with defpacustom (fixes #142)Gravatar Hendrik Tews2017-01-19
* split emergency-cleanup to handle interrupts properly (fixes #143)Gravatar Hendrik Tews2017-01-18
* die gracefully when visiting files in nonexisting directoriesGravatar Hendrik Tews2016-12-15
* documentation and CHANGES for coq-compile-keep-goingGravatar Hendrik Tews2016-12-08
* option coq-compile-keep-going for parallel compilationGravatar Hendrik Tews2016-12-08
* style change: use when for if coq-debug-auto-compilationGravatar Hendrik Tews2016-11-30
* use coq-- for internal compilation variablesGravatar Hendrik Tews2016-11-30
* next-error support for vio2vo error messagesGravatar Hendrik Tews2016-11-30
* update documentationGravatar Hendrik Tews2016-11-29
* delay vio2vo compilationGravatar Hendrik Tews2016-11-29
* 8.4 compatibility for quick supportGravatar Hendrik Tews2016-11-29
* support vio2vo background processingGravatar Hendrik Tews2016-11-29
* improve compilation when both .vio and .vo are up-to-dateGravatar Hendrik Tews2016-11-22
* fix parallel compilation for the unlikely case of identical time stampsGravatar Hendrik Tews2016-11-17
* first version for quick compilationGravatar Hendrik Tews2016-11-16
* ensure coq-compile-response-buffer is not in a dedicated windowGravatar Hendrik Tews2016-10-28
* fix coq-require-command-regexp (fixes #75)Gravatar Hendrik Tews2016-10-28
* Should fix #49 and #55 (compilation of From .. Require).Gravatar Pierre Courtieu2016-03-08
* Refactoring. New file coq-system.el.Gravatar Pierre Courtieu2015-12-14
* Small refactoring of coqxxx args detection.Gravatar Pierre Courtieu2015-12-14
* Fixing coq-prog-arg for auto compilation.Gravatar Pierre Courtieu2015-12-14
* compilation fix (coq-pre-v85).Gravatar Pierre Courtieu2015-11-13
* coq-pre-v85 option to fix coqdep invocation in [compile before require].Gravatar Pierre Courtieu2015-11-02
* Coqtop always restarted when switching script buffer.Gravatar Pierre Courtieu2015-03-03
* Fixed read-only error for compile before require option.Gravatar Pierre Courtieu2015-02-11
* Fix coq project parsing and interpreting for coq v8.5.Gravatar Pierre Courtieu2015-01-27
* fixed indentation (lexing of 'with') + made local coq-load-path.Gravatar Pierre Courtieu2014-12-30
* - fix asserting when parallel background compilation is in progressGravatar Hendrik Tews2013-01-03
* all-cpus option for coq-max-background-compilation-jobsGravatar Hendrik Tews2012-11-14
* update documentationGravatar Hendrik Tews2012-11-14
* - first version of parallel asynchronous compilation for coq inGravatar Hendrik Tews2012-11-13
* move ancestor locking back into specific partGravatar Hendrik Tews2012-11-06
* move ancestor locking/unlocking to coq-compile-commonGravatar Hendrik Tews2012-11-05
* move buffer saving to coq-compile-commonGravatar Hendrik Tews2012-11-05
* make coq-include-options independent of current bufferGravatar Hendrik Tews2012-11-03
* move another 2 functions into coq-compile-commonGravatar Hendrik Tews2012-11-03
* move function for coq-compile-response-buffer to coq-compile-common.elGravatar Hendrik Tews2012-11-01
* move some more material into coq-compile-commonGravatar Hendrik Tews2012-10-30
* move general part of compilation into coq-compile-common.elGravatar Hendrik Tews2012-10-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 10:07:50 +0000