coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Fix a small oversight in checker commit 12288.	herbelin	2009-08-23
*	Transfers to checker ("let"s in inductive arities + Coq root read-only).	herbelin	2009-08-22
*	Some dead code removal + cleanups	letouzey	2009-04-08
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	porting r11900 11905 and 11953 to trunk	barras	2009-03-02
*	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin	2009-02-11
*	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