coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ast] Improve precision of Ast location recognition in serialization.	Emilio Jesus Gallego Arias	2018-02-22
*	[proof] Embed evar_map in RefinerError exception.	Emilio Jesus Gallego Arias	2017-12-11
*	Allow local universe renaming in Print.	Gaëtan Gilbert	2017-11-25
*	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias	2017-11-21
*	[api] Deprecate all legacy uses of Names in core.	Emilio Jesus Gallego Arias	2017-11-06
*	Implementing a generic mechanism for locating named objects from Coq side.	Pierre-Marie Pédrot	2017-10-03
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Remove unused [open] statements	Gaetan Gilbert	2017-04-27
*	Removing compatibility layers related to printing.	Pierre-Marie Pédrot	2017-02-14
*	CLEANUP: Context.{Rel,Named}.Declaration.t	Matej Kosik	2016-02-09
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Referring to evars by names. Added a parser for evars (but parsing of	Hugo Herbelin	2014-09-12
*	Unifying locate code, also making it more powerful: it is now able to find	Pierre-Marie Pédrot	2014-07-21
*	Adding a new "Locate Term" command, distinct from the raw "Locate" command.	Pierre-Marie Pédrot	2014-07-21
*	More complete printing of Ltac location, akin to the term-dedicated Locate co...	Pierre-Marie Pédrot	2014-07-21
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Merging Context and Sign.	ppedrot	2013-04-29
*	Modulification of name	ppedrot	2012-12-18
*	Modulification of identifier	ppedrot	2012-12-14
*	Updating headers.	herbelin	2012-08-08
*	place all pretty-printing files in new dir printing/	letouzey	2012-05-29