aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-compile-common.el
AgeCommit message (Expand)Author
2021-02-13improve/fix code documentation for vok processingHendrik Tews
2021-02-13add second stage -vok for Coq >= 8.11Hendrik Tews
2021-02-13generalize vio2vo symbol names for vok compilationHendrik Tews
2020-12-19add test for recompilation with changesHendrik Tews
2020-12-19redesign of parallel background compilation without clonesHendrik Tews
2020-05-29Apply reviews of @erikmdCyril Anaclet
2020-05-29Fix name clash & rephrase some stringsErik Martin-Dorel
2020-05-29First try for feature #487Cyril Anaclet
2020-04-15coq-par-compile: support -vos for coq >= 8.11 and default setting changeHendrik Tews
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-11-01Ignore ephemeral buffers, and buffers not pointed at files.Calvin Beck
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-08Remove compile-time calls to proof-ready-for-assistantClément Pit--Claudel
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2017-01-19save settings not defined with defpacustom (fixes #142)Hendrik Tews
2017-01-18split emergency-cleanup to handle interrupts properly (fixes #143)Hendrik Tews
2016-12-15die gracefully when visiting files in nonexisting directoriesHendrik Tews
2016-12-08documentation and CHANGES for coq-compile-keep-goingHendrik Tews
2016-12-08option coq-compile-keep-going for parallel compilationHendrik Tews
2016-11-30style change: use when for if coq-debug-auto-compilationHendrik Tews
2016-11-30use coq-- for internal compilation variablesHendrik Tews
2016-11-30next-error support for vio2vo error messagesHendrik Tews
2016-11-29update documentationHendrik Tews
2016-11-29delay vio2vo compilationHendrik Tews
2016-11-298.4 compatibility for quick supportHendrik Tews
2016-11-29support vio2vo background processingHendrik Tews
2016-11-22improve compilation when both .vio and .vo are up-to-dateHendrik Tews
2016-11-17fix parallel compilation for the unlikely case of identical time stampsHendrik Tews
2016-11-16first version for quick compilationHendrik Tews
2016-10-28ensure coq-compile-response-buffer is not in a dedicated windowHendrik Tews
2016-10-28fix coq-require-command-regexp (fixes #75)Hendrik Tews
2016-03-08Should fix #49 and #55 (compilation of From .. Require).Pierre Courtieu
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:06:44 +0000