coq - The formal proof system

Age	Commit message (Expand)	Author
2017-11-06	[api] Move structures deprecated in the API to the core.	Emilio Jesus Gallego Arias
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-06-10	Remove (useless) aliases from the API.	Matej Košík
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-10-10	Fix segfault in native compiler on int31 division.	Maxime Dénès
2014-09-24	Make the retroknowledge marshalable.	Arnaud Spiwack
2014-08-25	"allows to", like "allowing to", is improper	Jason Gross
2014-04-09	Machine arithmetic operations for native compiler.	Maxime Dénès
2014-04-09	Full support for int31 values in native compiler.	Maxime Dénès
2014-04-09	Partial support for open terms in int31.	Maxime Dénès
2014-04-09	Had to split Nativelambda in two files because of Retroknowledge	Maxime Dénès
2014-04-09	Int31 literals in native compiler.	Maxime Dénès
2014-03-14	Changing Retrokwnoledge entry type from kind_of_term to constr. It seems it had	Pierre-Marie Pédrot
2014-03-03	Fixing pervasive equalities. In particular, I removed the code that deleted	Pierre-Marie Pédrot
2012-09-14	This patch removes unused "open" (automatically generated from	regisgia
2012-08-11	fast bitwise operations (lor,land,lxor) on int31 and BigN	letouzey
2012-08-08	Updating headers.	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-05-09	Added a few informations about file lineages (for the most part in kernel)	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-04-08	Some dead code removal + cleanups	letouzey
2008-04-01	Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient	herbelin
2007-06-20	ajout de head0 et tail0 en natif	bgregoir
2007-05-11	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack