coq - The formal proof system

Age	Commit message (Expand)	Author
2012-06-22	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot
2012-05-23	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill
2012-04-12	lib directory is cut in 2 cma.	pboutill
2012-03-02	Noise for nothing	pboutill
2011-11-24	Moving XML handling to lib directory	ppedrot
2011-07-29	Term: Refactoring of hashconsing	puech
2011-05-13	A new mechanism to handle errors.	aspiwack
2011-02-11	An generic imperative union-find, used for deps of evars in Class_tactics	letouzey
2011-01-06	Remove Safe_marshal	glondu
2010-09-24	Some dead code removal, thanks to Oug analyzer	letouzey
2010-09-17	Coqdep_boot : misc improvements	letouzey
2010-05-31	CoqIDE goes multiprocess	vgross
2010-04-22	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack
2010-01-08	* Segmenttree: New. A very simple implementation of segment trees.	regisgia
2009-12-20	* Rewrite [classify_unicode] using standard unicode tables.	regisgia
2009-10-26	New functors for gmap and gset.	soubiran
2009-10-21	This big commit addresses two problems:	soubiran
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-03-20	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey