coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	r8637@thot: notin \| 2006-03-14 16:00:49 +0100	notin	2006-03-14
*	MAJ	herbelin	2006-03-10
*	Ajout Tutorial on recursive types	herbelin	2006-03-10
*	Suppression de la coupure entre base et addendum (quitte à le remettre si de...	herbelin	2006-03-03
*	Inutile en svn	herbelin	2006-03-03
*	Typo	herbelin	2006-03-03
*	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
*	Uniformisation noms Library*.tex	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	2006-02-23
*	Ajout licence open publication � la doc (sous r�serve OK pour tutorial)	herbelin	2006-01-27
*	Pourquoi math goal parfois interdit	herbelin	2005-10-14
*	plus de http://www.lri.fr/~letouzey/extraction	letouzey	2005-07-06
*	Updated new names of Local into Let	herbelin	2005-05-20
*	suite commit pr�c�dent	herbelin	2005-05-05
*	Copyright 2005	herbelin	2005-05-05
*	Correction du bug de contraintes d'univers dans exType (mentionn� par Georg...	herbelin	2005-05-05
*	Ajout r�f�rence Luo	herbelin	2005-03-07
*	Ajout r�f�rences Alexandre Miquel	herbelin	2005-03-07
*	Suppression cible all-ps-docs; ajout www/index.html	herbelin	2005-01-25
*	Correction sur signification induction double	herbelin	2004-12-05
*	Documentation v8 de 'set (id:=t) in ...'	herbelin	2004-12-05
*	Ajout section sur lieurs	herbelin	2004-11-17
*	Am�lioration doc bases de Hints	herbelin	2004-11-10
*	Typos et orthographe	herbelin	2004-11-10
*	Documentation 'Focus num'	herbelin	2004-10-15
*	Ajout pr�vention �chec en pr�sence de sous-typage	herbelin	2004-10-11
*	question pierre corrige	narboux	2004-10-08
*	ajout question Pierre	narboux	2004-10-07
*	minor ~ correction in coq'art url	kirchner	2004-10-04
*	Oublis	herbelin	2004-09-03
*	MAJ	herbelin	2004-09-03
*	Probl�mes hevea + question evars	herbelin	2004-08-03
*	Finalisation avant publication	herbelin	2004-08-03
*	bibtex et hevea	herbelin	2004-08-03
*	Pr�noms	herbelin	2004-08-03
*	Il faut 2 fois latex apr�s l'index (cf bug #793)	herbelin	2004-06-27
*	Ajout RefMan 7.2	herbelin	2004-06-02
*	ajout question implicit	narboux	2004-05-19
*	typo jc	narboux	2004-05-12
*	MAJ bibtex Coq'Art	kirchner	2004-05-12
*	Petits affinements	herbelin	2004-05-07
*	Ajout �tudes de cas	herbelin	2004-05-06
*	Ajout exemple extraction d'infos de l'�galit� de 2 ensembles	herbelin	2004-05-06
*	MAJ diverses	herbelin	2004-05-05
*	deux questions	narboux	2004-05-03
*	un ptit coup de ispell	kirchner	2004-05-03
*	MAJ, divers + section axiomes	herbelin	2004-04-30
*	une question de plus	narboux	2004-04-30
*	Suppression d'une redondance	herbelin	2004-04-30