coq - The formal proof system

Age	Commit message (Expand)	Author
2012-08-08	Documenting eta-conversion.	herbelin
2012-08-08	More standard layout for \lambda in chapter CIC.	herbelin
2012-04-13	Documentation of records defined with the keywords Inductive and	aspiwack
2011-12-25	Version number, copyright, credits: missing updates.	herbelin
2011-12-07	Html page titles	pboutill
2010-06-23	Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di...	notin
2010-06-23	Mise à jour des liens au site Coq (suite à la MAJ de la redirection DNS de ...	notin
2010-06-08	Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-02-11	Modification du style du manuel de référence	notin
2009-01-18	Backporting from v8.2 to trunk:	herbelin
2009-01-13	Updated dates	herbelin
2009-01-01	- Fixed bug #2021 (uncaught exception with injection/discriminate when	herbelin
2008-12-29	- Added support for subterm matching in SearchAbout.	herbelin
2008-10-11	Backporting 11445 from 8.2 to trunk (negative conditions in	herbelin
2008-09-14	A pass on documentation:	msozeau
2008-08-04	Évolutions diverses et variées.	herbelin
2008-06-13	Numéros de version dans la doc	notin
2008-06-10	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)	herbelin
2008-06-08	- Extension de "generalize" en "generalize c as id at occs".	herbelin
2008-05-23	Nouvelle doc pour les modules.	soubiran
2008-04-21	Correction bug 1838 + doc modules.	soubiran
2008-04-15	- Un peu de doc, préparation du CHANGES pour la release.	herbelin
2008-02-06	- Documentation des nouvelles options d'implicites (Set Strongly Strict	herbelin
2007-09-18	MAJ date copyright doc	herbelin
2007-04-12	Cleaned doc/common/title.tex file. Increased the space under headers	emakarov
2007-04-10	Some changes to eliminate Hevea warnings.	emakarov
2007-02-07	Relecture/nettoyage chapitre Gallina; déplacement section Function	herbelin
2006-07-11	Documentation de lazymatch et des extensions de idtac et fail	herbelin
2006-07-05	Ajout taclevel	herbelin
2006-07-04	Documentation or-pattern	herbelin
2006-02-23	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