coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout de l'axiomatisation des entiers à la documentation de la librairie sta...	notin	2007-11-28
*	A better Program documentation. Include it in the generated stdlib doc.	msozeau	2007-08-08
*	Modifications de la construction de la documentation de la librairie	notin	2007-07-25
*	Correction du bug #1441	notin	2007-03-16
*	Typo + ajout Qcanon.v	herbelin	2006-11-11
*	Mise en forme des theories	notin	2006-10-17
*	MAJ liste fichiers doc stdlib	herbelin	2006-06-09
*	Support des modules dans Coqdoc	notin	2006-05-26
*	- correction d'un bug dans coqdoc (multi_index)	notin	2006-03-28
*	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-25
*	r8637@thot: notin \| 2006-03-14 16:00:49 +0100	notin	2006-03-14
*	Typo	herbelin	2006-03-03
*	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