coq - The formal proof system

Age	Commit message (Expand)	Author
2006-07-04	Ajout espacement autour des symboles latex a l'attention de 'hevea -nosymb' +...	herbelin
2006-07-04	MAJ du manuel de référence	notin
2006-07-03	MAJ manuel de référence	notin
2006-06-23	Nouveau paragraphe sur le polymorphisme de sorte des inductifs	herbelin
2006-06-23	Mention de coqide, proof general et pcoq	herbelin
2006-06-22	updated documentation for my tactics (P. orbineau	corbinea
2006-06-13	Changement du index.html généré dans refman	notin
2006-06-12	Typo in replace doc.	jforest
2006-06-12	Updating documentation of replace and correcting a typo in error message of r...	jforest
2006-06-10	ajout de la doc sur l'option -enable-geoproof de CoqIDE	jnarboux
2006-06-09	Commit doc Claudio Sacerdoti	herbelin
2006-06-09	Nouvelle MAJ	herbelin
2006-06-09	ajout de la doc de classical_right et left	jnarboux
2006-06-09	MAJ liste fichiers doc stdlib	herbelin
2006-06-07	petites corrections dans la doc de functional xxx.	courtieu
2006-06-07	Nouveaux Parametres Inductifs	cpaulin
2006-06-07	mise en texttt d'une commande.	courtieu
2006-06-07	Changements sur Functional xxx. Plus précis et plus exact.	courtieu
2006-06-06	Ajout de précisions dans la doc de functional scheme et consort +	courtieu
2006-06-06	Debut modif parametres inductifs CIC	cpaulin
2006-06-05	nouveaux parametres	cpaulin
2006-06-01	Update Program/subtac documentation.	msozeau
2006-05-26	Support des modules dans Coqdoc	notin
2006-05-17	updating Function documentation	jforest
2006-05-05	doc du in de match/with	barras
2006-05-05	Correction comportement clause _ du match goal	herbelin
2006-05-02	Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...	notin
2006-04-28	Continue l'écriture de la doc de "Function". Pas fini, manque:	courtieu
2006-04-27	Ajout de la doc de l'option -stdout de coqdoc	notin
2006-04-27	Added a short doc for "Function". To be finished.	courtieu
2006-04-14	Enleve les commentaires	cpaulin
2006-04-13	MAJ 8.1-APP	herbelin
2006-04-13	MAJ 8.1-APP	herbelin
2006-04-12	Changement de licence pour le Tutoriel de Coq	notin
2006-04-07	- Documentation of the Program tactics.	msozeau
2006-04-05	MAJ Licence FAQ	herbelin
2006-04-04	Bug index addendum à cause mauvaise utilisation asection dans Helm.tex	herbelin
2006-03-31	Petite actualisation FAQ	herbelin
2006-03-28	- correction d'un bug dans coqdoc (multi_index)	notin
2006-03-25	r8709@thot: notin \| 2006-03-25 01:48:46 +0100	notin
2006-03-25	r8708@thot: notin \| 2006-03-24 18:55:01 +0100	notin
2006-03-14	r8637@thot: notin \| 2006-03-14 16:00:49 +0100	notin
2006-03-10	MAJ	herbelin
2006-03-10	Ajout Tutorial on recursive types	herbelin
2006-03-03	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-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	Uniformisation noms Library*.tex	herbelin
2006-02-23	Mise à jour des Makefile, ajout licences, corrections mineures suite à	herbelin