coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Document new quote construction	glondu	2009-03-30
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	RefMan: a label defined twice	letouzey	2009-03-14
*	Coqdep: remove references to obsolete .zi and Require Implementation stuff	letouzey	2009-03-14
*	doc et CHANGES pour la commande Timeout	barras	2009-03-04
*	maj de la faq: correction de l'exemple field qui compilait plus en 8.2, corre...	jnarboux	2009-02-17
*	Modification du style du manuel de référence	notin	2009-02-11
*	Solves some warning and hides some not-bad ones in doc. It remains a	herbelin	2009-01-29
*	- Fixed various Overfull in documentation.	herbelin	2009-01-27
*	Fixes in the documentation of [dependent induction] and test-suite	msozeau	2009-01-22
*	Fixed bug 2030 (bad syntax for "test" in doc compilation) [see 11824	herbelin	2009-01-21
*	Added some missing statements for proof folding and corrected	vgross	2009-01-20
*	Added proof folding into CoqIde. See RefMan for using it.	vgross	2009-01-20
*	Propriétés svn pour les filtres latex	notin	2009-01-19
*	- Structuring Numbers and fixing Setoid in stdlib's doc.	herbelin	2009-01-19
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	Last changes in type class syntax:	msozeau	2009-01-18
*	Updated dates	herbelin	2009-01-13
*	- Standardized prefix use of "Local"/"Global" modifiers as decided in	herbelin	2009-01-13
*	Minor doc fixes:	msozeau	2009-01-08
*	Fixed two problems:	herbelin	2009-01-03
*	- Fixed bug #2021 (uncaught exception with injection/discriminate when	herbelin	2009-01-01
*	- Added support for subterm matching in SearchAbout.	herbelin	2008-12-29
*	Produce better html code with coqdoc and improve doc:	msozeau	2008-12-29
*	- coq_makefile: target install now respects the original tree structure	herbelin	2008-12-24
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Extraction Blacklist : a new command for avoiding conflicts with existing files	letouzey	2008-12-16
*	Fixes in the type classes documentation:	msozeau	2008-12-14
*	About "apply in":	herbelin	2008-12-09
*	Inductive parameters: nicer doc examples and error message	letouzey	2008-11-28
*	- Fixed minor bug #1994 in the tactic chapter of the manual [doc]	herbelin	2008-11-22
*	Fix typo in omega doc	glondu	2008-11-19
*	Document native "Declare ML Module"	glondu	2008-10-29
*	- Fixed many "Theorem with" bugs.	herbelin	2008-10-27
*	Fix doc of apply in (see coq-club message 26 September 2008)	herbelin	2008-10-24
*	Various coqdoc improvements:	msozeau	2008-10-22
*	Renommage "Global Instance" en "Instance Global" pour uniformisation	herbelin	2008-10-20
*	- Export de pattern_ident vers les ARGUMENT EXTEND and co.	herbelin	2008-10-19
*	report de la révision r11451 (nouveau style html pour le manuel de référence)	notin	2008-10-14
*	Backporting 11445 from 8.2 to trunk (negative conditions in	herbelin	2008-10-11
*	Update stdlib html template	glondu	2008-09-15
*	A pass on documentation:	msozeau	2008-09-14
*	Add user syntax for creating hint databases [Create HintDb foo	msozeau	2008-09-14
*	Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppressi...	notin	2008-08-06
*	correction : coqart is already published	jnarboux	2008-08-06
*	Évolutions diverses et variées.	herbelin	2008-08-04
*	Typo in doc	glondu	2008-07-29
*	Fixed doc of inductive sort-polymorphism (cf bug #1908). Seized the	herbelin	2008-07-23
*	- Rebranchement backtrack du langage déclaratif dans Coqide	herbelin	2008-07-18
*	- Suppression de Rstar/Newman peu utilisables comme biblio (encodage	herbelin	2008-07-17