aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-compile-common.el
AgeCommit message (Expand)Author
2015-01-27Fix coq project parsing and interpreting for coq v8.5.Pierre Courtieu
2014-12-30fixed indentation (lexing of 'with') + made local coq-load-path.Pierre Courtieu
2013-01-03- fix asserting when parallel background compilation is in progressHendrik Tews
2012-11-14all-cpus option for coq-max-background-compilation-jobsHendrik Tews
2012-11-14update documentationHendrik Tews
2012-11-13- first version of parallel asynchronous compilation for coq inHendrik Tews
2012-11-06move ancestor locking back into specific partHendrik Tews
2012-11-05move ancestor locking/unlocking to coq-compile-commonHendrik Tews
2012-11-05move buffer saving to coq-compile-commonHendrik Tews
2012-11-03make coq-include-options independent of current bufferHendrik Tews
2012-11-03move another 2 functions into coq-compile-commonHendrik Tews
2012-11-01move function for coq-compile-response-buffer to coq-compile-common.elHendrik Tews
2012-10-30move some more material into coq-compile-commonHendrik Tews
2012-10-30move general part of compilation into coq-compile-common.elHendrik Tews
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 09:59:45 +0000