coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Temporary fix of emacs mode for ProofGeneral	letouzey	2013-09-10
*	Moving Searchstack to CStack, and normalizing names a bit.	ppedrot	2013-09-06
*	Partly replacing list-based access functions in Evd. This is still	ppedrot	2013-09-03
*	summary for ML modules made correct	gareuselesinge	2013-08-30
*	Make the jopin-document button wait for slaves to terminate	gareuselesinge	2013-08-30
*	When PG is used as interface behave as before STM	gareuselesinge	2013-08-30
*	ind_tables: properly handling side effects	gareuselesinge	2013-08-30
*	Stm: if slave process dies badly go back to local lazy evaluation	gareuselesinge	2013-08-30