aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* 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 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
* Fix a type error hidden until recent emacs.Gravatar Pierre Courtieu2016-06-23
* Coq: option to prefer top over bottom of concl.Gravatar Pierre Courtieu2016-06-23
* Color lia, romega, nia, psatz, nsatz, lraGravatar Jason Gross2016-06-10