coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	RichPp: New module.	Regis-Gianas	2014-11-04
*	Moving Dnet-related code to tactics/.	Pierre-Marie Pédrot	2014-05-08
*	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot	2014-04-25
*	STM: move out a couple of submodules	Enrico Tassi	2014-03-13
*	Work around for bug in threads + blocking io streamlined	Enrico Tassi	2014-01-30
*	Spawn: managed processes	Enrico Tassi	2014-01-26
*	Ephemeron: marshaling friendly keys	gareuselesinge	2013-10-18
*	Moving Searchstack to CStack, and normalizing names a bit.	ppedrot	2013-09-06
*	Universe counters on slaves are in sync with master	gareuselesinge	2013-08-20
*	Vcs data structure (Git inspired builder for Dag)	gareuselesinge	2013-08-08
*	Dag data structure	gareuselesinge	2013-08-08
*	Searchable stack data structure	gareuselesinge	2013-08-08
*	Future library to represent pure computations	gareuselesinge	2013-08-08
*	Splitted up Genarg in four different levels:	ppedrot	2013-06-21
*	Gmap is now useless, hail to Map!	ppedrot	2013-05-14
*	Removing Fmap from libraries, it is not used anymore.	ppedrot	2013-05-14
*	Removing Fset, since it is not used anymore.	ppedrot	2013-05-12
*	Documenting the Tries module, uniformizing the names according to	ppedrot	2013-05-09
*	Getting rid of module Gmapl.	ppedrot	2013-05-09
*	New module Xml_printer (dual to Xml_parser)	gareuselesinge	2013-05-06
*	Coqide: Globalization feedback (proof of concept)	gareuselesinge	2013-04-25
*	Updated Exninfo to the new Store type.	ppedrot	2013-03-12
*	Moving hcons_string to String namespace.	ppedrot	2012-12-14
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04
*	Cleaning, renaming obscure functions and documenting in Hashcons.	ppedrot	2012-09-26
*	More cleanup of Util: utf8 aspects moved to a new file unicode.ml	letouzey	2012-09-18
*	Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5	ppedrot	2012-09-10
*	Put Option in Clib	pboutill	2012-07-20
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Noise for nothing	pboutill	2012-03-02
*	Moving XML handling to lib directory	ppedrot	2011-11-24
*	Term: Refactoring of hashconsing	puech	2011-07-29
*	A new mechanism to handle errors.	aspiwack	2011-05-13
*	An generic imperative union-find, used for deps of evars in Class_tactics	letouzey	2011-02-11
*	Remove Safe_marshal	glondu	2011-01-06
*	Some dead code removal, thanks to Oug analyzer	letouzey	2010-09-24
*	Coqdep_boot : misc improvements	letouzey	2010-09-17
*	CoqIDE goes multiprocess	vgross	2010-05-31
*	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack	2010-04-22
*	* Segmenttree: New. A very simple implementation of segment trees.	regisgia	2010-01-08
*	* Rewrite [classify_unicode] using standard unicode tables.	regisgia	2009-12-20
*	New functors for gmap and gset.	soubiran	2009-10-26
*	This big commit addresses two problems:	soubiran	2009-10-21
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20