aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
| * fix parallel compilation and improve assertions and debugging codeGravatar Hendrik Tews2016-10-27
|/
* Update CHANGES.Gravatar Erik Martin-Dorel2016-10-16
* Follow-up of #115.Gravatar Erik Martin-Dorel2016-10-15
* Merge pull request #115 from tchajed/macos-rebrandingGravatar Erik Martin-Dorel2016-10-14
|\
| * Refer to Apple's operating system as macOSGravatar Tej Chajed2016-10-14
|/
* Makefile: don't depend on pwdGravatar Clément Pit--Claudel2016-09-28
* Make it possible to work around #113Gravatar Clément Pit--Claudel2016-09-28
* proof-retract-before-change: Fix #41 by saving/restoring the match data.Gravatar Erik Martin-Dorel2016-09-25
* Update .travis.yml.Gravatar Erik Martin-Dorel2016-09-24
* Disable parallel build, to workaround the issue raised in PR #112.Gravatar Erik Martin-Dorel2016-09-23
* Make shell and perl scripts executable.Gravatar Erik Martin-Dorel2016-09-19
* Bump version number for next release cycle.Gravatar Erik Martin-Dorel2016-09-19
* Update the documentation and prepare the release 4.4.Gravatar Erik Martin-Dorel2016-09-18
* Comment-out the rcsid ($Id$) that dates from CVS.Gravatar Erik Martin-Dorel2016-09-18
* Detail.Gravatar Erik Martin-Dorel2016-09-18
* Promote CHANGES since 2820cb68 as related to PG 4.4.Gravatar Erik Martin-Dorel2016-09-18
* Fix reference to log-warning-minimum-levelGravatar psteckler2016-09-16
* Ensure PG overlays have pg-span property (#98)Gravatar Tej Chajed2016-08-25
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 20:05:16 +0000