coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-24	ocamlbuild improvements + minor makefile fix	letouzey
2009-03-20	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey
2008-09-04	Rely on ocamlc to call the C compiler...	glondu
2008-05-27	Correction du problème de complexité de Print Assumptions :	aspiwack
2008-04-01	Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient	herbelin
2008-02-27	patch for C code of addmuldiv31	thery
2007-09-15	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey
2007-06-20	ajout de head0 et tail0 en natif	bgregoir
2007-05-15	corrections bug dans l'implem de int31	bgregoir
2007-05-11	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack
2006-12-11	Changement dans le kernel :	bgregoir
2006-10-27	changement des _sym par _comm dans setoid_ring	bgregoir
2006-09-01	Appel à caml_modify pour Ocaml 3.07	notin
2006-07-28	Modifications dans les scripts de configuration (coqtop et coqide affichent m...	notin
2006-07-22	- Ajout d'un cast vm dans la syntaxe : x <: t	bgregoir
2006-04-28	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin
2005-12-02	Changement des named_context	gregoire
2004-11-22	compatibility with POWERPC	gregoire
2004-11-12	Changement dans les boxed values .	gregoire
2004-10-20	COMMITED BYTECODE COMPILER	barras