coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[api] Remove Misctypes.	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
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
* \|	[toplevel] Move beautify to its own pass.	Emilio Jesus Gallego Arias	2018-02-28
\| *	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/
*	[ast] Improve precision of Ast location recognition in serialization.	Emilio Jesus Gallego Arias	2018-02-22
*	Extending further PR#6047 (system to register printers for Ltac values).	Hugo Herbelin	2017-11-24
*	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias	2017-11-21
*	[api] Another large deprecation, `Nameops`	Emilio Jesus Gallego Arias	2017-11-13
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
*	[location] Make location optional in Loc.located	Emilio Jesus Gallego Arias	2017-04-25
*	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
*	[location] Use located in misctypes.	Emilio Jesus Gallego Arias	2017-04-24
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-18
\|\
\| *	[toplevel] Remove duplicate beautify flags.	Emilio Jesus Gallego Arias	2016-10-17
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-12
\|\\|
\| *	Moving Pp.comments to CLexer so that Pp is purer (no more side-effect	Hugo Herbelin	2016-10-09
* \|	Unplugging Pptactic from Ppvernac.	Pierre-Marie Pédrot	2016-09-08
\|/
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04