aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Expand)Author
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
2017-01-17fix coqtagsHendrik Tews
2017-01-17Add {Local ,}Axioms like {Local ,}Axiom, fix Parameters (#106)Jason Gross
2017-01-17Merge pull request #107 from JasonGross/patch-3hendriktews
2017-01-14Fix prooftree for Coq 8.6Hendrik Tews
2016-12-31add second argument to looking-back, required in emacs25Hendrik Tews
2016-12-28properly reset the vio2vo delay timerHendrik Tews
2016-12-16Merge pull request #133 from hendriktews/file-errorhendriktews
2016-12-15add quote to fix commit e3cc66dc2e60683531d75c12256d059ccbc64576Hendrik Tews
2016-12-15fix :get for coq-search-blacklistHendrik Tews
2016-12-15Merge pull request #101 from tchajed/print-universes-optionhendriktews
2016-12-15die gracefully when visiting files in nonexisting directoriesHendrik Tews
2016-12-14fix generic interrupt procedure to interrupt parallel background compilationHendrik Tews
2016-12-14fix race in vio2vo compilation startHendrik Tews
2016-12-14Merge pull request #129 from hendriktews/keep-goinghendriktews
2016-12-14Merge pull request #132 from Matafou/masterPierre Courtieu
2016-12-13Same name guessing for coqc/coqdep then for coqtop.Pierre Courtieu
2016-12-12remove default absolute name from coq-prog-name, but keep dipsplaying it when...Pierre Courtieu
2016-12-08documentation and CHANGES for coq-compile-keep-goingHendrik Tews
2016-12-08option coq-compile-keep-going for parallel compilationHendrik Tews
2016-12-02remove ancestor hash in Coq parallel background compilationHendrik Tews
2016-11-30fix customize-group coqHendrik 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-29don't unnecessarily delete .vio files for ensure-voHendrik Tews
2016-11-29support vio2vo background processingHendrik Tews
2016-11-22improve compilation when both .vio and .vo are up-to-dateHendrik Tews
2016-11-18reconcile menu for auto compilationHendrik Tews
2016-11-17fix parallel compilation for the unlikely case of identical time stampsHendrik Tews
2016-11-16first version for quick compilationHendrik Tews
2016-11-10avoid leaving partial files behind when compilation failsHendrik Tews
2016-11-02fix #123, also improve debugging outputHendrik 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-10-28fix typo in last commitHendrik Tews
2016-10-27give a more helpful error message if Coq version detection failsHendrik Tews
2016-10-27fix parallel compilation and improve assertions and debugging codeHendrik Tews
2016-09-28Make it possible to work around #113Clément Pit--Claudel
2016-09-19Make shell and perl scripts executable.Erik Martin-Dorel
2016-09-01Add Context to coq-syntax.elJason Gross
2016-08-15Add Set Printing Universes to options menuTej Chajed
2016-08-14Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset).Erik Martin-Dorel
2016-08-14Replace "Set Implicit Arguments" option with "Set Printing Implicit".Erik Martin-Dorel
2016-08-14Add Reserved Infix like Reserved Notation (#95)Jason Gross
2016-07-22Adding the option to highlight susual symbols.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 00:31:39 +0000