coq - The formal proof system

Age	Commit message (Expand)	Author
2012-03-02	Noise for nothing	pboutill
2011-03-08	adding eta in the vm	bgregoir
2010-09-24	Some dead code removal, thanks to Oug analyzer	letouzey
2010-07-30	better fix to bug #2319: types are compiled in the env of the bodies	barras
2010-07-28	fixed bug #2139: compiled cofix loops, missing offset to evaluate cofix bodies	barras
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-07-16	removed a potentially dangerous try ... with _ -> ...	barras
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-11-13	Move Obj.magic call to the Vm module	glondu
2009-10-04	Removal of trailing spaces.	serpyc
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2008-04-01	Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient	herbelin
2007-01-19	Protection contre les warnings 'unused variable' de ocaml 3.09	herbelin
2006-12-11	Changement dans le kernel :	bgregoir
2006-08-25	correction bug vm_compute	bgregoir
2006-07-22	- Ajout d'un cast vm dans la syntaxe : x <: t	bgregoir
2005-12-05	changement d'egalite pour le named_context_val	gregoire
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2004-11-22	compatibility with POWERPC	gregoire
2004-11-12	Changement dans les boxed values .	gregoire
2004-10-20	COMMITED BYTECODE COMPILER	barras