coq - The formal proof system

Age	Commit message (Expand)	Author
2006-07-05	Documentation 'external'	herbelin
2006-07-04	Doc Print Grammar pattern	herbelin
2006-07-04	Documentation or-pattern	herbelin
2006-07-04	Typo dans le manuel de référence	notin
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-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-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-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-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-13	MAJ 8.1-APP	herbelin
2006-04-13	MAJ 8.1-APP	herbelin
2006-04-07	- Documentation of the Program tactics.	msozeau
2006-04-04	Bug index addendum à cause mauvaise utilisation asection dans Helm.tex	herbelin
2006-03-14	r8637@thot: notin \| 2006-03-14 16:00:49 +0100	notin
2006-03-03	Suppression de la coupure entre base et addendum (quitte à le remettre si de...	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	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