coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Adding rich printing primitives.	Pierre-Marie Pédrot	2015-09-20
\|
*	Revert the four previous commits and update the description of Richpp.	Pierre-Marie Pédrot	2015-08-15
\| \| \| \| \|	Correcting the code w.r.t. to the API was not the right solution. Instead, the API comment had to be corrected.
*	More invariants in Richpp.	Pierre-Marie Pédrot	2015-08-15
\| \| \| \| \| \|	We ensure statically by typing that the tags used by the rich printer are integers. Furthermore, we also expose through typing that tags are irrelevants in the returned XML.
*	More parametric type for generalized XML.	Pierre-Marie Pédrot	2015-08-15
\|
*	Statically ensure that we omit null annotations in Richpp.	Pierre-Marie Pédrot	2015-08-15
\|
*	More efficient Richpp.	Pierre-Marie Pédrot	2015-02-06
\| \| \| \|	We build the rich XML at once without generating the printed string.
*	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
	printing/RichPrinter: Rename into Richprinter. printing/{ppvernac, ppconstr, pptactic}: Rename RichPp into Richpp. printing/Richprinter: Cosmetics.