aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-compile-common.el
AgeCommit message (Expand)Author
2015-12-14Refactoring. New file coq-system.el.Pierre Courtieu
2015-12-14Small refactoring of coqxxx args detection.Pierre Courtieu
2015-12-14Fixing coq-prog-arg for auto compilation.Pierre Courtieu
2015-11-13compilation fix (coq-pre-v85).Pierre Courtieu
2015-11-02coq-pre-v85 option to fix coqdep invocation in [compile before require].Pierre Courtieu
2015-03-03Coqtop always restarted when switching script buffer.Pierre Courtieu
2015-02-11Fixed read-only error for compile before require option.Pierre Courtieu
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-27 05:01:30 +0000