coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Compilation via pack for plugins of the stdlib	Pierre Letouzey	2016-06-08
*	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
*	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
*	Removing redundant *_TYPED AS clauses in EXTEND statements.	Pierre-Marie Pédrot	2016-04-12
*	Removing the special status of generic entries defined by Coq itself.	Pierre-Marie Pédrot	2016-03-17
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Add extraction to JSON.	Nickolai Zeldovich	2015-04-09
*	Update headers.	Maxime Dénès	2015-01-12
*	Vernac classification streamlined (handles VERNAC EXTEND)	gareuselesinge	2013-08-08
*	Modulification of identifier	ppedrot	2012-12-14
*	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey	2012-10-02
*	Updating headers.	herbelin	2012-08-08
*	Getting rid of Pp.msgnl and Pp.message.	ppedrot	2012-06-01
*	Getting rid of Pp.msg	ppedrot	2012-05-30
*	place all files specific to camlp4 syntax extensions in grammar/	letouzey	2012-05-29
*	A new command "Separate Extraction"	letouzey	2011-03-07
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Extraction Implicits: can accept argument names instead of just positions	letouzey	2010-06-10
*	Extract Inductive is now possible toward non-inductive types (e.g. nat => int)	letouzey	2010-05-21
*	Extraction: an experimental command to get rid of some cst/constructor arguments	letouzey	2010-04-30
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20