coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[notations] Split interpretation and parsing of notations	Emilio Jesus Gallego Arias	2018-05-31
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Extending further PR#6047 (system to register printers for Ltac values).	Hugo Herbelin	2017-11-24
*	Setting a system to register printers for Ltac values.	Hugo Herbelin	2017-11-02
*	Using a specific function to register vernac printers.	Hugo Herbelin	2017-11-02
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Unplugging Pptactic from Ppvernac.	Pierre-Marie Pédrot	2016-09-08
*	Removing the untyped representation of genargs.	Pierre-Marie Pédrot	2016-03-19
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Getting rid of the awkward unpack mechanism from Genarg.	Pierre-Marie Pédrot	2016-01-17
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Simplification of Genarg unpackers.	Pierre-Marie Pédrot	2014-08-29
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Adding a default object to generic argument registering mechanism.	Pierre-Marie Pédrot	2014-01-19
*	Splitted up Genarg in four different levels:	ppedrot	2013-06-21