coq - the Coq proof assistant

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