aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-par-compile.el
AgeCommit message (Expand)Author
2016-06-23Fix a typoClément Pit--Claudel
2016-06-23par-compile: Don't try to compile plugins (cm.*)Clément Pit--Claudel
2016-03-08Should fix #49 and #55 (compilation of From .. Require).Pierre Courtieu
2016-01-14Automatically detect which version of Coq we're usingClément Pit--Claudel
2016-01-14Refactor the project file parsing codeClément Pit--Claudel
2015-12-14Small refactoring of coqxxx args detection.Pierre Courtieu
2015-11-17recompilation: Improve error checkingClément Pit--Claudel
2013-07-11fix two bugs in parallel compilation for CoqHendrik Tews
2013-03-05fix overwriting the empty compilation queueHendrik Tews
2013-02-20small improvementHendrik Tews
2013-02-18fix parallel Coq compilation: report error for circular dependenciesHendrik Tews
2013-02-18move message about killing coq compilation processesHendrik Tews
2013-01-03- fix asserting when parallel background compilation is in progressHendrik Tews
2012-11-14- fix problem in emergency process killingHendrik Tews
2012-11-14all-cpus option for coq-max-background-compilation-jobsHendrik Tews
2012-11-14fix coq-lock-ancestor for parallel compilationHendrik Tews
2012-11-14update documentationHendrik Tews
2012-11-13- first version of parallel asynchronous compilation for coq inHendrik Tews
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 21:34:10 +0000