coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Fixing printing of Instance.	Hugo Herbelin	2016-06-16
\|
*	Revert "Fixing printing of Instance."	Hugo Herbelin	2016-04-27
\| \| \| \|	This reverts commit cbb917476e3920641352c108ec9ffaf6d1682217.
*	Fixing printing of Instance.	Hugo Herbelin	2016-04-27
\|
*	Update copyright headers.	Maxime Dénès	2016-01-20
\|
*	Removing dead code.	Pierre-Marie Pédrot	2015-02-02
\|
*	Update headers.	Maxime Dénès	2015-01-12
\|
*	Moving printing code for red_expr and may_eval to Pptactic.	Pierre-Marie Pédrot	2014-11-17
\|
*	Ppannotation: New.	Regis-Gianas	2014-11-04
	Define the annotations stored in semi-structured pretty-prints. Ppconstrsig: New. Contains the signature of a pretty-printer for ppconstr. Ppconstr: Export a new rich pretty-printer for constr_expr and co.