Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | More efficient Richpp. | 2015-02-06 | |
| | | | | We build the rich XML at once without generating the printed string. | ||
* | More efficient implementation of Richpp. | 2015-02-04 | |
| | | | | | Instead of constructing the XML string and parsing it afterwards, we build it by hijacking the formatting output. | ||
* | Update headers. | 2015-01-12 | |
| | |||
* | Plug the dynamic tags in the Richpp mechanism. | 2014-11-10 | |
| | |||
* | lib/RichPp: Rename into Richpp. | 2014-11-05 | |
printing/RichPrinter: Rename into Richprinter. printing/{ppvernac, ppconstr, pptactic}: Rename RichPp into Richpp. printing/Richprinter: Cosmetics. |