coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Moving the argument of CProdN/CLambdaN from binder_expr to local_binder_expr.	Hugo Herbelin	2018-02-20
*	[api] Insert miscellaneous API deprecation back to core.	Emilio Jesus Gallego Arias	2017-11-13
*	Exporting the level-parametric printer of constr and its variants.	Hugo Herbelin	2017-11-02
*	Removing a redundancy in naming types (Ppconstr.precedence = tolerability).	Hugo Herbelin	2017-11-02
*	A new step of restructuration of notations.	Hugo Herbelin	2017-08-29
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
*	Renaming local_binder into local_binder_expr.	Hugo Herbelin	2017-03-24
*	[pp] Remove unused printing tagging infrastructure.	Emilio Jesus Gallego Arias	2017-03-21
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Plug the dynamic tags in the Richpp mechanism.	Pierre-Marie Pédrot	2014-11-10
*	lib/RichPp: Rename into Richpp.	Yann Régis-Gianas	2014-11-05
*	Ppvernac: Publish new rich pretty-printer.	Regis-Gianas	2014-11-04
*	Ppannotation: New.	Regis-Gianas	2014-11-04
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Modulification of name	ppedrot	2012-12-18
*	Modulification of identifier	ppedrot	2012-12-14
*	Updating headers.	herbelin	2012-08-08
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	Fixing some inconsistencies of constr printer wrt constr parser	herbelin	2012-06-19
*	place all pretty-printing files in new dir printing/	letouzey	2012-05-29