coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers.	Maxime Dénès	2015-01-12
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc	2013-09-19
*	Restrict (try...with...) to avoid catching critical exn (part 8)	letouzey	2013-03-13
*	Cleaning interface of Util.	ppedrot	2012-09-18
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	Updating headers.	herbelin	2012-08-08
*	Remove useless "open Gc"	glondu	2011-05-19
*	Some dead code removal, thanks to Oug analyzer	letouzey	2010-09-24
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove dependency to Unix from module Profile	glondu	2010-07-02
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Make usages of the Obj module explicit	glondu	2009-11-13
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	pas besoin de List.length pour savoir si une liste est vide	letouzey	2005-08-19
*	Nouvelle en-tête	herbelin	2004-07-16
*	Bug	herbelin	2001-08-10
*	Prise en compte des strings et des flottants dans les statistiques de tailles...	herbelin	2001-08-10
*	Nouveau profiler compatible avec ocaml >= 3.01	herbelin	2001-08-05
*	MAJ vis à vis de ocaml 3.01	herbelin	2001-08-01
*	amelioration de la consommation memoire de la conversion en eta-expansant	barras	2001-03-23
*	entetes	filliatr	2001-03-15
*	passage ocaml 3.01	filliatr	2001-03-13
*	Bugs encore	herbelin	2001-01-19
*	Raffinements	herbelin	2001-01-15
*	Petit bug encore	herbelin	2001-01-14
*	Bien sûr: bugs sur précédent commit; améliorations	herbelin	2001-01-14
*	Prise en compte de l'allocation mémoire et affichage des résultats net du s...	herbelin	2001-01-14
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03