coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	updating Function documentation	jforest	2006-05-17
*	doc du in de match/with	barras	2006-05-05
*	Correction comportement clause _ du match goal	herbelin	2006-05-05
*	Continue l'écriture de la doc de "Function". Pas fini, manque:	courtieu	2006-04-28
*	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-27
*	MAJ 8.1-APP	herbelin	2006-04-13
*	MAJ 8.1-APP	herbelin	2006-04-13
*	- Documentation of the Program tactics.	msozeau	2006-04-07
*	Bug index addendum à cause mauvaise utilisation asection dans Helm.tex	herbelin	2006-04-04
*	r8637@thot: notin \| 2006-03-14 16:00:49 +0100	notin	2006-03-14
*	Suppression de la coupure entre base et addendum (quitte à le remettre si de...	herbelin	2006-03-03
*	Modification des propriétés des fichiers .tex (svn:executable)	notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty	2006-02-24
*	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	2006-02-23