coq - The formal proof system

Age	Commit message (Expand)	Author
2006-02-17	maj	coq
2006-02-09	maj	coq
2006-02-08	maj	coq
2006-02-08	Julien:	bertot
2006-02-07	maj	coq
2006-02-04	maj	coq
2006-02-03	maj	coq
2006-02-01	maj	coq
2006-02-01	New version of functional induction / inversion. By Julien Forest,	coq
2006-01-31	maj	coq
2006-01-30	maj	coq
2006-01-28	maj	coq
2006-01-24	maj	coq
2006-01-21	maj	coq
2006-01-16	maj	coq
2006-01-16	dans la liste des cmo pour dev/printers.cma, manquait proofs/tacexpr.cmo	letouzey
2006-01-12	maj	coq
2006-01-11	maj	coq
2006-01-11	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin
2006-01-08	maj	coq
2006-01-07	maj	coq
2006-01-04	maj	coq
2005-12-31	maj	coq
2005-12-28	maj	coq
2005-12-27	maj	coq
2005-12-26	maj	coq
2005-12-26	Renommage des Ppnew en Pp (et déplacement dans parsing); renommage des G_*...	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin
2005-12-25	maj	coq
2005-12-21	maj	coq
2005-12-20	maj	coq
2005-12-17	maj	coq
2005-12-02	Changement des named_context	gregoire
2005-11-28	maj	coq
2005-11-18	maj	coq
2005-11-17	maj	coq
2005-11-17	A la demande de Julien Forest	letouzey
2005-11-08	maj	coq
2005-11-07	maj	coq
2005-11-07	Modifications in the .depend files for the contrib/recdef directory	bertot
2005-11-07	Adds tools to help in defining new general recursive functions	bertot
2005-11-02	maj	coq
2005-10-27	maj	coq
2005-09-09	maj	coq
2005-08-17	maj	coq
2005-08-17	new congruence	corbinea
2005-08-02	maj	coq
2005-08-02	maj	coq
2005-08-02	maj	coq
2005-07-15	maj	coq