coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[api] Remove Misctypes.	Emilio Jesus Gallego Arias	2018-06-12
*	[api] Misctypes removal: move Tactypes to proofs	Emilio Jesus Gallego Arias	2018-06-12
*	[located] Push inner locations in `reference` to a CAst.t node.	Emilio Jesus Gallego Arias	2018-03-09
*	[located] More work towards using CAst.t	Emilio Jesus Gallego Arias	2018-03-09
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Do not identify a pre_ident as a string Ltac value.	Hugo Herbelin	2017-11-02
*	Parse directly to Sorts.family when appropriate.	Gaëtan Gilbert	2017-09-08
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Merge PR#637: Short cleaning of the interpretation path for constr_with_bindings	Maxime Dénès	2017-05-25
\|\
* \	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\ \
\| \| *	Clarifying the interpretation path for the "constr_with_binding" argument.	Hugo Herbelin	2017-05-22
\| \|/
\| *	Remove unused [open] statements	Gaetan Gilbert	2017-04-27
* \|	[location] Use located in misctypes.	Emilio Jesus Gallego Arias	2017-04-24
\|/
*	Merging Stdarg and Constrarg.	Pierre-Marie Pédrot	2016-09-21
*	More toplevel value representation sharing.	Pierre-Marie Pédrot	2016-05-04
*	Moving the Val module to Geninterp.	Pierre-Marie Pédrot	2016-05-04
*	Removing dead code in Genarg.	Pierre-Marie Pédrot	2016-03-19
*	Removing the special status of generic entries defined by Coq itself.	Pierre-Marie Pédrot	2016-03-17
*	Removing the registering of default values for generic arguments.	Pierre-Marie Pédrot	2016-03-17
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Splitted up Genarg in four different levels:	ppedrot	2013-06-21
*	Moving wit_unit to Stdarg.	ppedrot	2013-06-19
*	Proof-of-concept: moved four easy-to-handle generic arguments to	ppedrot	2013-06-18