coq - The formal proof system

Age	Commit message (Expand)	Author
2012-10-02	Remove some dead code in the vm	letouzey
2012-08-11	fast bitwise operations (lor,land,lxor) on int31 and BigN	letouzey
2011-04-19	Fix thumb2-related build error	glondu
2011-04-01	CHANGES: a word about recent changes in coqide, about Ctrl-C in vm	letouzey
2011-04-01	Checks for signals in VM, allowing it to be interrupted by Ctrl-C (experimental)	letouzey
2010-05-19	Discontinue support for ocaml 3.09.*	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-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
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