coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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