coq - The formal proof system

Age	Commit message (Expand)	Author
2003-12-12	N gras	marche
2003-12-12	coqide	marche
2003-12-12	N gras, placement figures	marche
2003-12-11	Mis-a-jour modules, ajout de Import et Export	coq
2003-12-11	Une faute de frappe dans Credits	coq
2003-12-10	presentation, biblio;	marche
2003-12-09	index commands	marche
2003-12-05	maj	filliatr
2003-12-05	utilitaires	filliatr
2003-12-04	coqide	marche
2003-12-03	* empty log message *	mohring
2003-12-02	plus de pb avec referencemanual.sh	marche
2003-12-02	relecture JCF	filliatr
2003-12-02	* empty log message *	filliatr
2003-12-02	added Firstordre and Congruence	corbinea
2003-12-01	version et style	marche
2003-12-01	idtac parle	narboux
2003-11-24	coqide	marche
2003-11-23	Suppression %N	herbelin
2003-11-23	Ajout nouvelles options	herbelin
2003-11-23	Renommage	herbelin
2003-11-23	MAJ pour v8	herbelin
2003-11-23	Label redondant	herbelin
2003-11-23	Ajout/renommage	herbelin
2003-11-23	Relecture	herbelin
2003-11-23	Suppression commandes de syntaxe; ajout About	herbelin
2003-11-23	Reference	herbelin
2003-11-21	Ajout entrees	herbelin
2003-11-21	Phase de relecture	herbelin
2003-11-21	Relecture premiere partie	herbelin
2003-11-20	MAJ	herbelin
2003-11-19	MAJ V8	herbelin
2003-11-15	Ajout paradoxe Chicli	herbelin
2003-11-12	En fait les Import des Require sont de nouveau utiles	letouzey
2003-11-12	* empty log message *	letouzey
2003-11-12	maj et passage v8 du chapitre sur l'extraction	letouzey
2003-11-08	Petite tentative d'eclaircissement	herbelin
2003-11-08	Relecture, compl�tion Notation, plan pour les scopes	herbelin
2003-11-08	Ajout section sur TACTIC EXTEND	herbelin
2003-10-30	Added a tactic entry for Jprover + commented out inputenc in the main file	corbinea
2003-10-27	MAJ Double Inductive vis a vis de la V7.4	herbelin
2003-10-10	Programme de relecture du manuel	mohring
2003-09-26	* empty log message *	filliatr
2003-09-26	passage V8	filliatr
2003-09-26	passage V8	filliatr
2003-09-25	passage V8	filliatr
2003-09-25	passage V8	filliatr
2003-09-25	passage V8	filliatr
2003-08-04	Orthographe, orthodoxie	herbelin
2003-08-04	Bug 'Set Hyps Limit'	herbelin