coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Moving potentially costly computation from exception raising to message	ppedrot	2013-10-22
*	STM: proper error message if the GUI edits_at a dummy state	gareuselesinge	2013-10-22
*	STM: do not enrich exceptions more than once	gareuselesinge	2013-10-22
*	STM: send the gui the status of the slaves	gareuselesinge	2013-10-22
*	Coqtop: fix looping over a broken state.	gareuselesinge	2013-10-18
*	declaration_hooks use Ephemeron	gareuselesinge	2013-10-18
*	Future: ported to Ephemeron + exception enhancing	gareuselesinge	2013-10-18
*	STM: not optimize proofs containing an Undo	gareuselesinge	2013-10-18
*	Remove some uses of local modules (some were unused, some were costly).	xclerc	2013-10-14
*	STM: prefix debug messages with slave-id	gareuselesinge	2013-10-11
*	More comments in ide_slave	gareuselesinge	2013-10-11
*	STM: cancel slaves working on outdated jobs	gareuselesinge	2013-10-11
*	STM: a proof with nested proofs cannot be delegated	gareuselesinge	2013-10-10
*	STM: add "Stm Wait" to wait for the slaves to complete their jobs	gareuselesinge	2013-10-10
*	Clib: fold_left_until added to CList	gareuselesinge	2013-10-10
*	STM: new command "Stm PrintDag" to force printing the dag to /tmp	gareuselesinge	2013-10-07
*	STM: fix verbosity of queries	gareuselesinge	2013-10-07
*	STM: spit a warning if an out of bound Back* command is issued	gareuselesinge	2013-10-07
*	coqtop: init STM before loading rcfile	gareuselesinge	2013-10-07
*	Removing uses of Evar.add in class-related functions.	ppedrot	2013-10-06
*	Removing dubious use of evarmap manipulating functions in printing	ppedrot	2013-10-05
*	Moving side effects into evar_map. There was no reason to keep another	ppedrot	2013-10-05
*	STM: understand -coq-slaves-opts extra-env=VAR=val	gareuselesinge	2013-10-03
*	STM: if -coq-slaves off really imitate the old CoqIDE	gareuselesinge	2013-10-03
*	STM: add options to disable fallbacks to ease regression testing	gareuselesinge	2013-10-03
*	Regression test suite for STM	gareuselesinge	2013-10-03
*	STM: number of slaves passed by the command line	gareuselesinge	2013-10-03
*	STM: avoid "kill 9 pid" if we know the slave died	gareuselesinge	2013-10-03
*	STM: delegate proofs to slaves only if they are not trivial	gareuselesinge	2013-10-03
*	STM: take a shallow snapshot for the first proof step	gareuselesinge	2013-10-03
*	STM: fully force a proof ourput before sending it back to the master	gareuselesinge	2013-10-01
*	STM: better error messages in case of marshal failure	gareuselesinge	2013-10-01
*	STM: fix reporting of ongoing tasks	gareuselesinge	2013-10-01
*	STM: exceptions caming from slaves are now localized	gareuselesinge	2013-10-01
*	STM: Unix.kill can fail	gareuselesinge	2013-10-01
*	STM: better handle proof modes	gareuselesinge	2013-09-30
*	STM: some refactoring, support revised CoqIDE protocol	gareuselesinge	2013-09-30
*	CoqIDE ported to the revides protocol	gareuselesinge	2013-09-30
*	Removing a bunch of generic equalities.	ppedrot	2013-09-27
*	Made the filename of compiled files explicit, i.e. add a ./ prefix	ppedrot	2013-09-19
*	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc	2013-09-19
*	At least made the evar type opaque! There are still 5 remaining unsafe	ppedrot	2013-09-18
*	Removing almost all new_untyped_evar, and a bunch of Evd.add.	ppedrot	2013-09-18
*	STM pretty printer should never fail	gareuselesinge	2013-09-13
*	fix STM feeback on running jobs	gareuselesinge	2013-09-13
*	Unplugging Autoinstance. The code is still here if someone wishes	ppedrot	2013-09-12
*	CoqIDE: show number of proofs being checked in background	gareuselesinge	2013-09-12
*	Unknown commands starting a proof were not setting the proof mode.	gareuselesinge	2013-09-12
*	Remove outdated comment	gareuselesinge	2013-09-12
*	VernacList handling was lost in STM merge	gareuselesinge	2013-09-12