coq - The formal proof system

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