coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...	notin	2009-01-06
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Report des commits 11417 et 11437 de la v8.2	soubiran	2008-10-15
*	fixed bug #1927 + univ constraints (module cstrs include cstrs of its subcomp...	barras	2008-09-02
*	[checker] basic conversion oracle: expand local vars first	barras	2008-09-02
*	fixed loop in dependency fold of the checker	barras	2008-07-24
*	Lissage de la gestion des chemins de chargement de fichiers :	herbelin	2008-06-29
*	doc of coqchk + improved module cache and computation of module sets	barras	2008-05-23
*	fixed dependency problems with the checker	barras	2008-05-22
*	added coqchk to the main Makefile and a make variable VALIDATE to check the v...	barras	2008-05-22
*	also fixed conversion of the checker	barras	2008-05-20
*	Changement de stratégie vis à vis du commit 10859 sur la gestion des	herbelin	2008-05-12
*	fixed bug with aliases	barras	2008-05-07
*	checker deals with polymorphic constants and module aliases	barras	2008-05-06
*	Correction du bug des types singletons pas sous-type de Set	herbelin	2008-04-27
*	added the .vo checker (with independent Makefile)	barras	2008-04-21