coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Documenting Option.List.find.	Hugo Herbelin	2017-05-05
*	Upgrading some local function as a general-purpose combinator Option.List.map.	Hugo Herbelin	2017-05-05
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	COMMENTS: updated in the "Option" module.	Matej Kosik	2015-12-18
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Add an [Info Level] option to print info traces automatically.	Arnaud Spiwack	2014-11-01
*	Fixing generic hashes and replacing them with proper ones.	Pierre-Marie Pédrot	2014-03-03
*	Fixing pervasive comparisons	Pierre-Marie Pédrot	2014-03-01
*	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
*	Reductionops refactoring	pboutill	2012-07-20
*	Noise for nothing	pboutill	2012-03-02
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill	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
*	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