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-05-08	Rephrasing section on Sorts in CIC chapter, accordingly to discussions	herbelin
2012-05-08	Ref. man., ch. CIC: clarifying the redundancy coming from having both	herbelin
2012-04-13	Uniformisation in the documentation: remove the use of 'coinductive' in	aspiwack
2010-05-28	Minor fix in doc chapter on inference rules (added a missing space).	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-02-26	Correction du bug #2214 + maj liens web	notin
2009-10-28	Typo in the refman	puech
2008-11-28	Inductive parameters: nicer doc examples and error message	letouzey
2008-07-23	Fixed doc of inductive sort-polymorphism (cf bug #1908). Seized the	herbelin
2008-07-01	Documentation Prop<=Set et Arguments Scope Global	herbelin
2008-01-05	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin
2007-04-17	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov
2006-12-08	Correction typo règle réduction du fix chapitre CCI	herbelin
2006-10-28	Documentation de "Set Printing Universes", "Print Universes" (anciennement	herbelin
2006-08-24	MAJ biblio	herbelin
2006-07-04	Ajout espacement autour des symboles latex a l'attention de 'hevea -nosymb' +...	herbelin
2006-06-23	Nouveau paragraphe sur le polymorphisme de sorte des inductifs	herbelin
2006-06-07	Nouveaux Parametres Inductifs	cpaulin
2006-06-06	Debut modif parametres inductifs CIC	cpaulin
2006-05-05	doc du in de match/with	barras
2006-02-24	Modification des propriétés des fichiers .tex (svn:executable)	notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin