aboutsummaryrefslogtreecommitdiff
path: root/printing/printer.mli
AgeCommit message (Expand)Author
2012-08-08Updating headers.herbelin
2012-07-11A friendlier printing of remaining goals when no goal is focused.aspiwack
2012-07-04Change how the number of open goals is printed.aspiwack
2012-05-29place all pretty-printing files in new dir printing/letouzey