coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	STM: cancel slaves working on outdated jobs	gareuselesinge	2013-10-11
*	Vcs: the gc method returns the set of nodes that were collected	gareuselesinge	2013-10-11
*	Dag: some comments on the concept of cluster	gareuselesinge	2013-10-11
*	CoqIDE: single underline for errors	gareuselesinge	2013-10-11
*	CoqIDE: error reporting fixed	gareuselesinge	2013-10-10
*	Document: undoing inside a focused zone does not require unfocusing	gareuselesinge	2013-10-10
*	CoqIDE: ported to Document	gareuselesinge	2013-10-10
*	fake_ide: ported to Document + 2 tests for editing a proof (locally)	gareuselesinge	2013-10-10
*	CoqIDE: move cmd_stack to a separate module: Document	gareuselesinge	2013-10-10
*	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
*	CoqIDE: a comment is not a sentence	gareuselesinge	2013-10-10
*	Fixing CAMLP4 compilation.	ppedrot	2013-10-09
*	Small code cleaning in Evarutil.	ppedrot	2013-10-08
*	Fixing 2 output test-suites.	ppedrot	2013-10-08
*	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
*	fake_ide: speak the new protocol	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
*	CoqIDE: fix jumpig out of a focused proof	gareuselesinge	2013-10-07
*	CoqIDE: cStack -> Document	gareuselesinge	2013-10-07
*	cStack: make it just a Stack with some extra API	gareuselesinge	2013-10-07
*	Removing useless evar code.	ppedrot	2013-10-06
*	Added a [modify] function to maps.	ppedrot	2013-10-06
*	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
*	Fixing potential evar leak in Rewrite, and removing dead code.	ppedrot	2013-10-05
*	Fixing potential evar leak in Equality.	ppedrot	2013-10-05
*	Splitting Class_tactics between code and CAMLP4/5 declarations.	ppedrot	2013-10-04
*	Fix comment for new string syntax (OCaml trunk).	xclerc	2013-10-04
*	A shallow copy of a pre_env does not contain the vm cache	gareuselesinge	2013-10-03
*	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
*	CoqIDE: when jumping to an error also move the cursor	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
*	CoqIDE: when checking the whole document, center script view on error	gareuselesinge	2013-10-01
*	CoqIDE: fixed advance_until wrt unfocusing	gareuselesinge	2013-10-01
*	typo	gareuselesinge	2013-10-01
*	demo file for paral-itp	gareuselesinge	2013-10-01
*	CoqIDE: do not print cmd_stack too often	gareuselesinge	2013-10-01
*	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