coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	CoqIDE: always retag on insert	gareuselesinge	2013-10-22
*	CoqIDE: do not try to backtrack to a dummy id	gareuselesinge	2013-10-22
*	emacs config: next-error search path ok even if default-directory unset.	courtieu	2013-10-22
*	Wg_Find: regex + case insensitive find/replace support	gareuselesinge	2013-10-22
*	wg_Detachable: move out of wg_Command	gareuselesinge	2013-10-22
*	Wg_Commands: fix warning "widget not within a GtkWindow"	gareuselesinge	2013-10-22
*	Wg_Commands: when detached display the buffer name	gareuselesinge	2013-10-22
*	CoqIDE: display in the errors window also the slaves status	gareuselesinge	2013-10-22
*	STM: send the gui the status of the slaves	gareuselesinge	2013-10-22
*	New feedback message: SlaveStatus	gareuselesinge	2013-10-22
*	wg_Commands: smaller icons in tabs	gareuselesinge	2013-10-22
*	ideutils: support custom size for stock icons	gareuselesinge	2013-10-22
*	proof modes: use ephemerons to represent them in proof state	gareuselesinge	2013-10-18
*	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
*	Ephemeron: marshaling friendly keys	gareuselesinge	2013-10-18
*	Summary: if an unfreeze function fails, print an error message	gareuselesinge	2013-10-18
*	STM: not optimize proofs containing an Undo	gareuselesinge	2013-10-18
*	Reintroduce "or" instead of "\|\|" as the latter is redifined in "sos_lib.ml" w...	xclerc	2013-10-16
*	Some more hand-written comparison functions to avoid polymorphic comparison.	xclerc	2013-10-14
*	Avoid polymorphic comparison (plugins/rtauto).	xclerc	2013-10-14
*	Avoid polymorphic comparison (plugins/cc).	xclerc	2013-10-14
*	Avoid polymorphic comparison (coqdoc).	xclerc	2013-10-14
*	Remove some uses of local modules (some were unused, some were costly).	xclerc	2013-10-14
*	Getting rid of the use of deprecated elements (from the OCaml standard library).	xclerc	2013-10-14
*	CoqIDE: make error background configurable	gareuselesinge	2013-10-11
*	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
*	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