aboutsummaryrefslogtreecommitdiffhomepage
path: root/printing/printing.mllib
Commit message (Expand)AuthorAge
* A few fixes to the build system (mostly for ocamlbuild)Gravatar Pierre Letouzey2013-12-16
* Splitted up Genarg in four different levels:Gravatar ppedrot2013-06-21
* Clean-up : no more Proof_type.proof_treeGravatar letouzey2012-10-06
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04
* correct some ends of .mllib files (avoid a broken tolink.ml)Gravatar letouzey2012-08-24
* place all pretty-printing files in new dir printing/Gravatar letouzey2012-05-29