aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-seq-compile.el
Commit message (Expand)AuthorAge
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* Remove uses of defpacustom in coq-compile-commonGravatar Clément Pit--Claudel2017-03-08
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
* style change: use when for if coq-debug-auto-compilationGravatar Hendrik Tews2016-11-30
* use coq-- for internal compilation variablesGravatar Hendrik Tews2016-11-30
* first version for quick compilationGravatar Hendrik Tews2016-11-16
* 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
* Fixing coq-prog-arg for auto compilation.Gravatar Pierre Courtieu2015-12-14
* coq-pre-v85 option to fix coqdep invocation in [compile before require].Gravatar Pierre Courtieu2015-11-02
* - first version of parallel asynchronous compilation for coq inGravatar Hendrik Tews2012-11-13
* move ancestor locking back into specific partGravatar Hendrik Tews2012-11-06
* move ancestor locking/unlocking to coq-compile-commonGravatar Hendrik Tews2012-11-05
* fix seq-seq misspellingGravatar Hendrik Tews2012-11-05
* move buffer saving to coq-compile-commonGravatar Hendrik Tews2012-11-05
* make coq-include-options independent of current bufferGravatar Hendrik Tews2012-11-03
* move another 2 functions into coq-compile-commonGravatar Hendrik Tews2012-11-03
* move function for coq-compile-response-buffer to coq-compile-common.elGravatar Hendrik Tews2012-11-01
* rename entities in coq-seq-compileGravatar Hendrik Tews2012-10-30
* move some more material into coq-compile-commonGravatar Hendrik Tews2012-10-30
* move general part of compilation into coq-compile-common.elGravatar Hendrik Tews2012-10-30
* move coq compilation into coq/coq-seq-compile.elGravatar Hendrik Tews2012-10-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 06:18:15 +0000