coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Renamed Option.Misc.compare to the more uniform Option.equal.	ppedrot	2012-12-13
*	Monomorphization (lib)	ppedrot	2012-11-22
*	Updating headers.	herbelin	2012-08-08
*	Noise for nothing	pboutill	2012-03-02
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Generic support for open terms in tactics	herbelin	2009-12-21
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Open notation for declaring record instances.	msozeau	2008-10-23
*	Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient	herbelin	2008-04-01
*	Petite correction de Option.default (default faisait un Option.map	aspiwack	2007-12-14
*	Util.option_compare devient Option.Misc.Compare et change un peu de type	aspiwack	2007-12-07
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Commit intermédiaire express de réparation de coqide.ml, que j'avais	aspiwack	2007-12-06
*	Factorisation des opérations sur le type option de Util dans un module	aspiwack	2007-12-05