coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Miscellaneous typos, spacing, US spelling in comments or variable names.	Hugo Herbelin	2015-10-18
*	Future: make not-here/not-ready messages customizable	Enrico Tassi	2015-10-08
*	Future: human readable name for delegated (Close #4065)	Enrico Tassi	2015-02-21
*	Update headers.	Maxime Dénès	2015-01-12
*	Fix a few typos.	Maxime Dénès	2015-01-12
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	Future: API for blocking futures	Enrico Tassi	2014-11-28
*	STM: primitives to snapshot a .vi while in interactive mode	Enrico Tassi	2014-10-13
*	library/opaqueTables: enable their use in interactive mode	Enrico Tassi	2014-10-13
*	Moving hook code from Future to Lemmas. This seemed to disrupt compilation of	Pierre-Marie Pédrot	2014-06-08
*	Enforce a correct exception handling in declaration_hooks	Enrico Tassi	2014-06-08
*	Declare: fix Future management	Enrico Tassi	2014-05-16
*	Adding a debug printer for futures.	Pierre-Marie Pédrot	2014-04-25
*	Future: make ~greedy:true the default + new sink commodity API	Enrico Tassi	2014-02-26
*	Future: each computation has a uuid	Enrico Tassi	2014-02-26
*	STM: fix valid_id coming from Qed errors	Enrico Tassi	2014-02-10
*	Future: allow custom action when a delegated future is forced	Enrico Tassi	2014-01-04
*	Future: optional greedy chaining	Enrico Tassi	2013-12-24
*	Future: better doc + restore ~pure optimization	gareuselesinge	2013-10-31
*	Future: ported to Ephemeron + exception enhancing	gareuselesinge	2013-10-18
*	lib/future: computations that are Exn can be replaced	gareuselesinge	2013-09-30
*	recdef: restore old semantics (pre STM)	gareuselesinge	2013-08-30
*	Stm: if slave process dies badly go back to local lazy evaluation	gareuselesinge	2013-08-30
*	Future library to represent pure computations	gareuselesinge	2013-08-08