coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23
*	suite commit pr�c�dent	herbelin	2005-05-05
*	Correction du bug de contraintes d'univers dans exType (mentionn� par Georg...	herbelin	2005-05-05
*	ajout d'une passe de latex our avoir un index correct	barras	2004-01-14
*	correction bugs commit precedent et mise en forme html	coq	2004-01-05
*	* empty log message *	mohring	2003-12-21
*	* empty log message *	mohring	2003-12-21
*	* empty log message *	mohring	2003-12-21
*	mise a jour V8	mohring	2003-12-19
*	* empty log message *	barras	2003-12-19
*	Mise a jour V8	mohring	2003-12-19
*	mise a jour CIC	mohring	2003-12-18
*	debut de mise a jour CIC	mohring	2003-12-14
*	typo	marche	2003-12-12
*	passage V8	filliatr	2003-09-25
*	* empty log message *	mohring	2002-05-14
*	paragraphe obsolete sur l'extraction	letouzey	2002-04-11
*	Quelques pr�cisions sur la convertibilit� et les tactiques Cbv/Lazy	herbelin	2002-03-01
*	Typos	herbelin	2001-10-18
*	Oubli de cas pour le sous-typage	herbelin	2001-10-17
*	Oubli de cas pour le sous-typage	herbelin	2001-10-17
*	Corrections diverses	herbelin	2001-10-17
*	Mise en place avertissements pour rep�rer les erreurs volontaires de coq-tex	herbelin	2001-09-24
*	cic	mohring	2001-04-10
*	Ajout syntaxe et regles let-in	herbelin	2001-04-09
*	Initial revision	filliatr	2000-12-12