aboutsummaryrefslogtreecommitdiffhomepage
path: root/printing/printmod.mli
Commit message (Expand)AuthorAge
* Update headers.Gravatar Maxime Dénès2015-01-12
* Adding rich-printing facilities to Printmod.Gravatar Pierre-Marie Pédrot2014-11-19
* Dir_path --> DirPathGravatar letouzey2013-02-19
* Modulification of dir_pathGravatar ppedrot2012-12-14
* Updating headers.Gravatar herbelin2012-08-08
* place all pretty-printing files in new dir printing/Gravatar letouzey2012-05-29