coq - The formal proof system

Age	Commit message (Expand)	Author
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