aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-seq-compile.el
AgeCommit message (Expand)Author
2018-12-14Fix remaining uses of CL; Make files more declarativeStefan Monnier
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
2017-03-08Remove uses of defpacustom in coq-compile-commonClément Pit--Claudel
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2016-11-30style change: use when for if coq-debug-auto-compilationHendrik Tews
2016-11-30use coq-- for internal compilation variablesHendrik Tews
2016-11-16first version for quick compilationHendrik Tews
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-14Fixing coq-prog-arg for auto compilation.Pierre Courtieu
2015-11-02coq-pre-v85 option to fix coqdep invocation in [compile before require].Pierre Courtieu
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-05fix seq-seq misspellingHendrik 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-30rename entities in coq-seq-compileHendrik 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
2012-10-30move coq compilation into coq/coq-seq-compile.elHendrik Tews
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:21 +0000