aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* 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
* | | | 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
* | | 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
* | | give a more helpful error message if Coq version detection failsGravatar Hendrik Tews2016-10-27
* | | fix parallel compilation and improve assertions and debugging codeGravatar Hendrik Tews2016-10-27
* | | Make it possible to work around #113Gravatar Clément Pit--Claudel2016-09-28
* | | Make shell and perl scripts executable.Gravatar Erik Martin-Dorel2016-09-19
| | * Add Context to coq-syntax.elGravatar Jason Gross2016-09-01
| |/ |/|
| * Add Set Printing Universes to options menuGravatar Tej Chajed2016-08-15
|/
* Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset).Gravatar Erik Martin-Dorel2016-08-14
* Replace "Set Implicit Arguments" option with "Set Printing Implicit".Gravatar Erik Martin-Dorel2016-08-14
* Add Reserved Infix like Reserved Notation (#95)Gravatar Jason Gross2016-08-14
* Adding the option to highlight susual symbols.Gravatar Pierre Courtieu2016-07-22
* Highlight Existing Class like Existing Instance (#85)Gravatar Jason Gross2016-07-03
* Highlight [nra] like [nia] and [lia] and [lra] (#84)Gravatar Jason Gross2016-07-01
* Fix a typoGravatar Clément Pit--Claudel2016-06-23
* par-compile: Don't try to compile plugins (cm.*)Gravatar Clément Pit--Claudel2016-06-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 03:09:38 +0000