diff options
| author | Regis-Gianas | 2014-10-30 22:14:22 +0100 |
|---|---|---|
| committer | Regis-Gianas | 2014-11-04 22:51:35 +0100 |
| commit | 0aa24d51d2606549da87ed42085f612f2dbb1428 (patch) | |
| tree | 292fc331cbfe420873eb9e1e661cc5c879aeba3d /printing/ppconstr.mli | |
| parent | 812c611bdc8532b7cd25d9368a8356be3eb1d34a (diff) | |
RichPp: New module.
It is responsible for turning a tagged pretty-printing into
a semi-structured document.
clib.mllib: Include RichPp as well as Xml_*.
The migration of Xml_* from lib to clib is needed by RichPp
depends on these modules.
Diffstat (limited to 'printing/ppconstr.mli')
0 files changed, 0 insertions, 0 deletions