aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-12-08documentation and CHANGES for coq-compile-keep-goingHendrik Tews
2016-12-08option coq-compile-keep-going for parallel compilationHendrik Tews
2016-12-02remove ancestor hash in Coq parallel background compilationHendrik Tews
2016-11-30fix customize-group coqHendrik Tews
2016-11-30fix 2 compilation warnings (fixes #33)Hendrik Tews
2016-11-30style change: use when for if coq-debug-auto-compilationHendrik Tews
2016-11-30Merge pull request #125 from hendriktews/quickhendriktews
2016-11-30use coq-- for internal compilation variablesHendrik Tews
2016-11-30write CHANGESHendrik Tews
2016-11-30next-error support for vio2vo error messagesHendrik Tews
2016-11-29update documentationHendrik Tews
2016-11-29delay vio2vo compilationHendrik Tews
2016-11-298.4 compatibility for quick supportHendrik Tews
2016-11-29don't unnecessarily delete .vio files for ensure-voHendrik Tews
2016-11-29support vio2vo background processingHendrik Tews
2016-11-22improve compilation when both .vio and .vo are up-to-dateHendrik Tews
2016-11-18reconcile menu for auto compilationHendrik Tews
2016-11-17fix parallel compilation for the unlikely case of identical time stampsHendrik Tews
2016-11-16first version for quick compilationHendrik Tews
2016-11-10avoid leaving partial files behind when compilation failsHendrik Tews
2016-11-02fix #123, also improve debugging outputHendrik Tews
2016-11-02fix error in process filter: Cannot resize windowHendrik Tews
2016-10-28ensure coq-compile-response-buffer is not in a dedicated windowHendrik Tews
2016-10-28fix coq-require-command-regexp (fixes #75)Hendrik Tews
2016-10-28fix typo in last commitHendrik Tews
2016-10-27Merge pull request #118 from hendriktews/several-fixeshendriktews
2016-10-27give a more helpful error message if Coq version detection failsHendrik Tews
2016-10-27gitignore for doc subdirHendrik Tews
2016-10-27delete TAGS file from repositoryHendrik Tews
2016-10-27fix parallel compilation and improve assertions and debugging codeHendrik Tews
2016-10-16Update CHANGES.Erik Martin-Dorel
2016-10-15Follow-up of #115.Erik Martin-Dorel
2016-10-14Merge pull request #115 from tchajed/macos-rebrandingErik Martin-Dorel
2016-10-14Refer to Apple's operating system as macOSTej Chajed
2016-09-28Makefile: don't depend on pwdClément Pit--Claudel
2016-09-28Make it possible to work around #113Clément Pit--Claudel
2016-09-25proof-retract-before-change: Fix #41 by saving/restoring the match data.Erik Martin-Dorel
2016-09-24Update .travis.yml.Erik Martin-Dorel
2016-09-23Disable parallel build, to workaround the issue raised in PR #112.Erik Martin-Dorel
2016-09-19Make shell and perl scripts executable.Erik Martin-Dorel
2016-09-19Bump version number for next release cycle.Erik Martin-Dorel
2016-09-18Update the documentation and prepare the release 4.4.Erik Martin-Dorel
2016-09-18Comment-out the rcsid ($Id$) that dates from CVS.Erik Martin-Dorel
2016-09-18Detail.Erik Martin-Dorel
2016-09-18Promote CHANGES since 2820cb68 as related to PG 4.4.Erik Martin-Dorel
2016-09-16Fix reference to log-warning-minimum-levelpsteckler
2016-08-25Ensure PG overlays have pg-span property (#98)Tej Chajed
2016-08-14Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset).Erik Martin-Dorel
2016-08-14Replace "Set Implicit Arguments" option with "Set Printing Implicit".Erik Martin-Dorel
2016-08-14Add Reserved Infix like Reserved Notation (#95)Jason Gross
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:32:09 +0000