coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Referring to coq.inria.fr/stdlib for more on libraries and ltac-level tactics.	Hugo Herbelin	2016-01-12
*	Remove spurious "Loading ML file" and "<W> Grammar extension" from the refere...	Guillaume Melquiond	2015-01-29
*	refman: switch all source files to utf8	Pierre Letouzey	2014-12-09
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Manual fixed w.r.t. STM	gareuselesinge	2013-08-08
*	ZArith + other : favor the use of modern names instead of compat notations	letouzey	2012-07-05
*	Bug 2589: Documentation patch of Hendrik Tews	pboutill	2011-09-02
*	Move stuff about positive into a distinct PArith subdir	letouzey	2010-11-02
*	Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".	herbelin	2010-06-08
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Correction du bug #2214 + maj liens web	notin	2010-02-26
*	- Fixed various Overfull in documentation.	herbelin	2009-01-27
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	- Fixed bug #2021 (uncaught exception with injection/discriminate when	herbelin	2009-01-01
*	migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...	letouzey	2008-03-19
*	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin	2008-01-05
*	Corrected a LaTeX typo.	emakarov	2007-04-17
*	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov	2007-04-17
*	MAJ nouvelles théories	herbelin	2006-10-28
*	Ajout String	herbelin	2006-10-04
*	Modification des propriétés des fichiers .tex (svn:executable)	notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty	2006-02-24
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23