| Commit message (Collapse) | Author | Age |
| |
|
| |
|
|
|
|
|
|
| |
printing/Pptactic: Tag tactics pretty-printing.
printing/Ppvernac: Use the relevent Pptactic pretty-printer.
printing/RichPrinter: Publish two new services.
|
|
|
|
| |
printing/{Ppconstr, Ppvernac}: Use it.
|
|
|
|
|
| |
printing/Ppannotation: Define the projection of annotations into XML attributes.
lib/richPp: Implements valid entities escaping.
|
|
|
|
| |
Ppvernac.RichPp: New rich pretty-printer.
|
|
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.
|