coq - The formal proof system

Age	Commit message (Expand)	Author
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