aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-par-compile.el
Commit message (Expand)AuthorAge
* Should fix #49 and #55 (compilation of From .. Require).Gravatar Pierre Courtieu2016-03-08
* Automatically detect which version of Coq we're usingGravatar Clément Pit--Claudel2016-01-14
* Refactor the project file parsing codeGravatar Clément Pit--Claudel2016-01-14
* Small refactoring of coqxxx args detection.Gravatar Pierre Courtieu2015-12-14
* recompilation: Improve error checkingGravatar Clément Pit--Claudel2015-11-17
* fix two bugs in parallel compilation for CoqGravatar Hendrik Tews2013-07-11
* fix overwriting the empty compilation queueGravatar Hendrik Tews2013-03-05
* small improvementGravatar Hendrik Tews2013-02-20
* fix parallel Coq compilation: report error for circular dependenciesGravatar Hendrik Tews2013-02-18
* move message about killing coq compilation processesGravatar Hendrik Tews2013-02-18
* - fix asserting when parallel background compilation is in progressGravatar Hendrik Tews2013-01-03
* - fix problem in emergency process killingGravatar Hendrik Tews2012-11-14
* all-cpus option for coq-max-background-compilation-jobsGravatar Hendrik Tews2012-11-14
* fix coq-lock-ancestor for parallel compilationGravatar Hendrik Tews2012-11-14
* update documentationGravatar Hendrik Tews2012-11-14
* - first version of parallel asynchronous compilation for coq inGravatar Hendrik Tews2012-11-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 01:43:54 +0000