aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Expand)Author
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
2017-05-05Merge pull request #157 from ProofGeneral/elpaClément Pit-Claudel
2017-04-25Typo from commit 758e679e.Pierre Courtieu
2017-04-24Preparing new warning tags (no more special chars).Pierre Courtieu
2017-04-19Fix #176.Pierre Courtieu
2017-03-31Fixing #173.Pierre Courtieu
2017-03-22Added support for future new options (trunk).Pierre Courtieu
2017-03-08Add a FIXME in coq.elClément Pit--Claudel
2017-03-08Remove uses of defpgdefault in coq-abbrevClé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-08Remove unnecessary calls to 'eval-and-compile'Clément Pit--Claudel
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2017-03-08Fix incorrect assumption that noninteractive == byte-compilingClément Pit--Claudel
2017-03-08Merge commit '06fd76163b857a056ac44e7437efa17656f06e5b'Paul Steckler
2017-03-08Fixing unicode tokens in generic code and in coq.Pierre Courtieu
2017-03-06get threeb frames only when neededPaul Steckler
2017-03-06one more redundant call removedPaul Steckler
2017-03-06remove redundant calls, simplify codePaul Steckler
2017-03-03Merge pull request #163 from ProofGeneral/fix_indentationPierre Courtieu
2017-03-03Refreshing goal when Set Printing xxx. (#162)Pierre Courtieu
2017-03-02use Utf8 from Coq libraryPaul Steckler
2017-02-27serveral coqtags fixes and improvementsHendrik Tews
2017-02-23Fixing #154.Pierre Courtieu
2017-01-26Fixing #147 and #91 + others indentation bugs.Pierre Courtieu
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:00:08 +0000