aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
...
| * Remove uses of defpgdefault in coq-abbrevGravatar Clément Pit--Claudel2017-03-08
| * Remove uses of defpacustom in coq-compile-commonGravatar Clément Pit--Claudel2017-03-08
| * Remove compile-time calls to proof-ready-for-assistantGravatar Clément Pit--Claudel2017-03-08
| * Remove unnecessary calls to 'eval-and-compile'Gravatar Clément Pit--Claudel2017-03-08
| * Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
| * Fix incorrect assumption that noninteractive == byte-compilingGravatar Clément Pit--Claudel2017-03-08
|/
* Merge commit '06fd76163b857a056ac44e7437efa17656f06e5b'Gravatar Paul Steckler2017-03-08
|\
| * Fixing unicode tokens in generic code and in coq.Gravatar Pierre Courtieu2017-03-08
* | get threeb frames only when neededGravatar Paul Steckler2017-03-06
* | one more redundant call removedGravatar Paul Steckler2017-03-06
* | remove redundant calls, simplify codeGravatar Paul Steckler2017-03-06
* | Merge pull request #163 from ProofGeneral/fix_indentationGravatar Pierre Courtieu2017-03-03
|\ \
* | | Refreshing goal when Set Printing xxx. (#162)Gravatar Pierre Courtieu2017-03-03
* | | use Utf8 from Coq libraryGravatar Paul Steckler2017-03-02
* | | serveral coqtags fixes and improvementsGravatar Hendrik Tews2017-02-27
* | | Fixing #154.Gravatar Pierre Courtieu2017-02-23
| |/ |/|
| * Fixing #147 and #91 + others indentation bugs.Gravatar Pierre Courtieu2017-01-26
|/
* save settings not defined with defpacustom (fixes #142)Gravatar Hendrik Tews2017-01-19
* split emergency-cleanup to handle interrupts properly (fixes #143)Gravatar Hendrik Tews2017-01-18
* fix coqtagsGravatar Hendrik Tews2017-01-17
* Add {Local ,}Axioms like {Local ,}Axiom, fix Parameters (#106)Gravatar Jason Gross2017-01-17
* Merge pull request #107 from JasonGross/patch-3Gravatar hendriktews2017-01-17
|\
* | Fix prooftree for Coq 8.6Gravatar Hendrik Tews2017-01-14
* | add second argument to looking-back, required in emacs25Gravatar Hendrik Tews2016-12-31
* | properly reset the vio2vo delay timerGravatar Hendrik Tews2016-12-28
* | Merge pull request #133 from hendriktews/file-errorGravatar hendriktews2016-12-16
|\ \
* | | add quote to fix commit e3cc66dc2e60683531d75c12256d059ccbc64576Gravatar Hendrik Tews2016-12-15
* | | fix :get for coq-search-blacklistGravatar Hendrik Tews2016-12-15
* | | Merge pull request #101 from tchajed/print-universes-optionGravatar hendriktews2016-12-15
|\ \ \
| | * | die gracefully when visiting files in nonexisting directoriesGravatar Hendrik Tews2016-12-15
| |/ / |/| |
* | | fix generic interrupt procedure to interrupt parallel background compilationGravatar Hendrik Tews2016-12-14
* | | fix race in vio2vo compilation startGravatar Hendrik Tews2016-12-14
* | | Merge pull request #129 from hendriktews/keep-goingGravatar hendriktews2016-12-14
|\ \ \
* \ \ \ Merge pull request #132 from Matafou/masterGravatar Pierre Courtieu2016-12-14
|\ \ \ \
| * | | | Same name guessing for coqc/coqdep then for coqtop.Gravatar Pierre Courtieu2016-12-13
| * | | | remove default absolute name from coq-prog-name, but keep dipsplaying it when...Gravatar Pierre Courtieu2016-12-12
| | * | | documentation and CHANGES for coq-compile-keep-goingGravatar Hendrik Tews2016-12-08
| | * | | option coq-compile-keep-going for parallel compilationGravatar Hendrik Tews2016-12-08
| | * | | remove ancestor hash in Coq parallel background compilationGravatar Hendrik Tews2016-12-02
| |/ / / |/| | |
* | | | fix customize-group coqGravatar Hendrik Tews2016-11-30
* | | | style change: use when for if coq-debug-auto-compilationGravatar Hendrik Tews2016-11-30
* | | | use coq-- for internal compilation variablesGravatar Hendrik Tews2016-11-30
* | | | next-error support for vio2vo error messagesGravatar Hendrik Tews2016-11-30
* | | | update documentationGravatar Hendrik Tews2016-11-29
* | | | delay vio2vo compilationGravatar Hendrik Tews2016-11-29
* | | | 8.4 compatibility for quick supportGravatar Hendrik Tews2016-11-29
* | | | don't unnecessarily delete .vio files for ensure-voGravatar Hendrik Tews2016-11-29
* | | | support vio2vo background processingGravatar Hendrik Tews2016-11-29
* | | | improve compilation when both .vio and .vo are up-to-dateGravatar Hendrik Tews2016-11-22
* | | | reconcile menu for auto compilationGravatar Hendrik Tews2016-11-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 19:27:21 +0000