coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Avoid scanning .coq-native directories when building the library index.	Guillaume Melquiond	2014-06-26
*	Improved synchronisation of stdlib index page with current library state.	herbelin	2012-02-01
*	index-list.html.template: add missing files	pboutill	2012-01-31
*	Move stuff about positive into a distinct PArith subdir	letouzey	2010-11-02
*	Update of documentation for the standard library (cf. #2332)	letouzey	2010-06-28
*	Fix library index template and associated script.	msozeau	2008-06-07
*	Fix bashism in doc generation.	glondu	2008-05-26
*	migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...	letouzey	2008-03-19
*	Bug dans la génération de la stdlib	notin	2008-02-27
*	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
*	r8708@thot: notin \| 2006-03-24 18:55:01 +0100	notin	2006-03-25
*	Mise à jour des Makefile, ajout licences, corrections mineures suite à	herbelin	2006-02-23