coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Mise à jour des liens au site Coq (suite à la MAJ de la redirection DNS de ...	notin	2010-06-23
*	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
*	Modification du style du manuel de référence	notin	2009-02-11
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	Updated dates	herbelin	2009-01-13
*	- Fixed bug #2021 (uncaught exception with injection/discriminate when	herbelin	2009-01-01
*	- Added support for subterm matching in SearchAbout.	herbelin	2008-12-29
*	Backporting 11445 from 8.2 to trunk (negative conditions in	herbelin	2008-10-11
*	A pass on documentation:	msozeau	2008-09-14
*	Évolutions diverses et variées.	herbelin	2008-08-04
*	Numéros de version dans la doc	notin	2008-06-13
*	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)	herbelin	2008-06-10
*	- Extension de "generalize" en "generalize c as id at occs".	herbelin	2008-06-08
*	Nouvelle doc pour les modules.	soubiran	2008-05-23
*	Correction bug 1838 + doc modules.	soubiran	2008-04-21
*	- Un peu de doc, préparation du CHANGES pour la release.	herbelin	2008-04-15
*	- Documentation des nouvelles options d'implicites (Set Strongly Strict	herbelin	2008-02-06
*	MAJ date copyright doc	herbelin	2007-09-18
*	Cleaned doc/common/title.tex file. Increased the space under headers	emakarov	2007-04-12
*	Some changes to eliminate Hevea warnings.	emakarov	2007-04-10
*	Relecture/nettoyage chapitre Gallina; déplacement section Function	herbelin	2007-02-07
*	Documentation de lazymatch et des extensions de idtac et fail	herbelin	2006-07-11
*	Ajout taclevel	herbelin	2006-07-05
*	Documentation or-pattern	herbelin	2006-07-04
*	Mise à jour des Makefile, ajout licences, corrections mineures suite à	herbelin	2006-02-23
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23