coq/printing/richPrinter.mli, branch master The formal proof system lib/RichPp: Rename into Richpp. 2014-11-05T21:52:24+00:00 Yann Régis-Gianas 2014-11-05T21:52:09+00:00 6b69fc07f9f17e4d61dbb244c69f6c9de326e00f printing/RichPrinter: Rename into Richprinter. printing/{ppvernac, ppconstr, pptactic}: Rename RichPp into Richpp. printing/Richprinter: Cosmetics. 
printing/RichPrinter: Rename into Richprinter.
printing/{ppvernac, ppconstr, pptactic}: Rename RichPp into Richpp.
printing/Richprinter: Cosmetics.
printing/Ppannotation: New annotation for tactic syntactic objects. 2014-11-04T21:51:36+00:00 Regis-Gianas 2014-11-04T21:50:00+00:00 d1569f060a114b113ea9f326f1dec1c1e3f101dc printing/Pptactic: Tag tactics pretty-printing. printing/Ppvernac: Use the relevent Pptactic pretty-printer. printing/RichPrinter: Publish two new services. 
printing/Pptactic: Tag tactics pretty-printing.
printing/Ppvernac: Use the relevent Pptactic pretty-printer.
printing/RichPrinter: Publish two new services.
printing/richPrinter: Fix incorrect signatures. 2014-11-04T21:51:36+00:00 Regis-Gianas 2014-11-04T12:29:32+00:00 7b3f2d2783f74a38b4fe40d2dc5f58b8d5bae0f1 






printing/RichPrinter: New API for rich pretty-printing.
2014-11-04T21:51:36+00:00

Regis-Gianas

2014-11-04T11:05:53+00:00

d6b6deb1cb02dca80349aa30221ea8569e72d9da

printing/Ppannotation: Define the projection of annotations into XML attributes.
lib/richPp: Implements valid entities escaping.





printing/Ppannotation: Define the projection of annotations into XML attributes.
lib/richPp: Implements valid entities escaping.