| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-11-05 | lib/RichPp: Rename into Richpp. | Yann Régis-Gianas | |
| printing/RichPrinter: Rename into Richprinter. printing/{ppvernac, ppconstr, pptactic}: Rename RichPp into Richpp. printing/Richprinter: Cosmetics. | |||
| 2014-11-04 | printing/Ppannotation: New annotation for tactic syntactic objects. | Regis-Gianas | |
| printing/Pptactic: Tag tactics pretty-printing. printing/Ppvernac: Use the relevent Pptactic pretty-printer. printing/RichPrinter: Publish two new services. | |||
| 2014-11-04 | printing/richPrinter: Fix incorrect signatures. | Regis-Gianas | |
| 2014-11-04 | printing/RichPrinter: New API for rich pretty-printing. | Regis-Gianas | |
| printing/Ppannotation: Define the projection of annotations into XML attributes. lib/richPp: Implements valid entities escaping. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |