coq - The formal proof system

Age	Commit message (Expand)	Author
2014-03-03	Removing generic hashes in kernel.	Pierre-Marie Pédrot
2014-02-11	Made Pre_env.lazy_val opaque.	Pierre-Marie Pédrot
2014-01-07	STM: additional fix for STM + vm_compute	Enrico Tassi
2014-01-06	STM: fix worker crash when doing vm_compute	Enrico Tassi
2013-12-28	Removing native_name reference from constant_body.	Maxime Dénès
2013-04-29	Merging Context and Sign.	ppedrot
2013-04-29	Splitting Term into five unrelated interfaces:	ppedrot
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 8)	letouzey
2013-01-28	Actually adding backtrace handling.	ppedrot
2012-12-14	Modulification of identifier	ppedrot
2012-10-02	Remove some dead code in the vm	letouzey
2012-10-02	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey
2012-08-08	Updating headers.	herbelin
2011-08-01	fixed bug 2580. Quick fix: copy emitcodes before patching it	barras
2011-01-28	Remove the "Boxed" syntaxes and the const_entry_boxed field	letouzey
2010-09-24	Some dead code removal, thanks to Oug analyzer	letouzey
2010-07-29	fixed bug #2105 (compilation of free de Bruijn) and missing lift of predicate...	barras
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-05-09	Removed $Id$ introduced inadvertently in r13005 (no more $Id$ since r12972)	herbelin
2010-05-09	Added a few informations about file lineages (for the most part in kernel)	herbelin
2009-11-13	Move Obj.magic call to the Vm module	glondu
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2008-12-31	Moved parts of Sign to Term. Unified some names (e.g. decomp_n_prod ->	herbelin
2007-03-27	Modification de la vm:	notin
2005-12-02	Changement des named_context	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-16	IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).	sacerdot
2004-11-12	Changement dans les boxed values .	gregoire
2004-10-20	COMMITED BYTECODE COMPILER	barras