aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* annoying missing parentheisis in a comment.Gravatar Pierre Courtieu2017-01-24
* Merge remote-tracking branch 'OFFICIAL/master'Gravatar Pierre Courtieu2017-01-04
|\
* | Fixing #121 + avoid hiding user windows too much.Gravatar Pierre Courtieu2017-01-04
| * A first pass at converting from CVS to git. (#127)Gravatar zhenya10072016-12-31
| * add second argument to looking-back, required in emacs25Gravatar Hendrik Tews2016-12-31
| * fix prooftree crash with long evar linesGravatar Hendrik Tews2016-12-28
| * properly reset the vio2vo delay timerGravatar Hendrik Tews2016-12-28
| * Fix doc for Coq electric terminator.Gravatar Erik Martin-Dorel2016-12-26
| * Merge pull request #133 from hendriktews/file-errorGravatar hendriktews2016-12-16
| |\
| * | add quote to fix commit e3cc66dc2e60683531d75c12256d059ccbc64576Gravatar Hendrik Tews2016-12-15
| * | Improve doc on coq project fileGravatar 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
| * | fix parallel build and other issues in Makefile (fixes #130)Gravatar 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
* | | fix 2 compilation warnings (fixes #33)Gravatar Hendrik Tews2016-11-30
* | | style change: use when for if coq-debug-auto-compilationGravatar Hendrik Tews2016-11-30
* | | Merge pull request #125 from hendriktews/quickGravatar hendriktews2016-11-30
|\ \ \ | |/ / |/| |
| * | use coq-- for internal compilation variablesGravatar Hendrik Tews2016-11-30
| * | write CHANGESGravatar 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
| * | fix parallel compilation for the unlikely case of identical time stampsGravatar Hendrik Tews2016-11-17
| * | first version for quick compilationGravatar Hendrik Tews2016-11-16
|/ /
* | avoid leaving partial files behind when compilation failsGravatar Hendrik Tews2016-11-10
* | fix #123, also improve debugging outputGravatar Hendrik Tews2016-11-02
* | fix error in process filter: Cannot resize windowGravatar Hendrik Tews2016-11-02
* | ensure coq-compile-response-buffer is not in a dedicated windowGravatar Hendrik Tews2016-10-28
* | fix coq-require-command-regexp (fixes #75)Gravatar Hendrik Tews2016-10-28
* | fix typo in last commitGravatar Hendrik Tews2016-10-28
* | Merge pull request #118 from hendriktews/several-fixesGravatar hendriktews2016-10-27
|\ \
| * | give a more helpful error message if Coq version detection failsGravatar Hendrik Tews2016-10-27
| * | gitignore for doc subdirGravatar Hendrik Tews2016-10-27
| * | delete TAGS file from repositoryGravatar Hendrik Tews2016-10-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 15:15:18 +0000