coq - The formal proof system

Age	Commit message (Expand)	Author
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin
2005-10-14	Pourquoi math goal parfois interdit	herbelin
2004-12-05	Correction sur signification induction double	herbelin
2004-10-08	question pierre corrige	narboux
2004-10-07	ajout question Pierre	narboux
2004-10-04	minor ~ correction in coq'art url	kirchner
2004-08-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-05-19	ajout question implicit	narboux
2004-05-12	typo jc	narboux
2004-05-12	MAJ bibtex Coq'Art	kirchner
2004-05-07	Petits affinements	herbelin
2004-05-06	Ajout �tudes de cas	herbelin
2004-05-06	Ajout exemple extraction d'infos de l'�galit� de 2 ensembles	herbelin
2004-05-05	MAJ diverses	herbelin
2004-05-03	deux questions	narboux
2004-05-03	un ptit coup de ispell	kirchner
2004-04-30	MAJ, divers + section axiomes	herbelin
2004-04-30	une question de plus	narboux
2004-04-30	Suppression d'une redondance	herbelin
2004-04-30	Forme export�e pour hevea de axioms.fig	herbelin
2004-04-30	Forme export�e pour latex de axioms.fig	herbelin
2004-04-30	Ajout source figure classification des axiomes	herbelin
2004-04-30	heveaifie	narboux
2004-04-30	proof irre	narboux
2004-04-30	coloration ok	narboux
2004-04-30	les accents sont ok	narboux
2004-04-30	maj de la faq + exemples	narboux
2004-04-29	merge faq hugo	narboux
2004-04-29	fote dortografe	narboux
2004-04-29	nettoyage	narboux
2004-04-29	reorganisation des questions	narboux
2004-04-28	maj faq	narboux
2004-04-21	+2ans	kirchner
2004-04-09	* empty log message *	narboux
2004-04-06	* empty log message *	narboux
2004-04-05	merge fa coqide	narboux
2004-04-05	* empty log message *	narboux
2004-04-05	* empty log message *	narboux
2004-04-05	* empty log message *	narboux
2004-04-05	MAJ : on laisse tomber la classe faq	kirchner
2004-04-05	* empty log message *	kirchner
2004-04-05	* empty log message *	narboux
2004-04-05	* empty log message *	narboux
2004-04-02	* empty log message *	narboux
2004-04-02	* empty log message *	narboux
2004-04-02	* empty log message *	narboux
2004-04-01	* empty log message *	narboux