Generic Pretty-Printing (Under Construction) The generic pretty-printer packages inludes tools for unparsing and pretty-printing (formatting) parse trees of any context-free grammar represented in AsFix. The language independent markup language Box is used to connect source language dependent front-ends to target language dependent back-ends. A front-end translates a term over a language to Box, to describe its intended layout. A back-end translates a Box term to some output format. Currently, the system supports translations from Box to AsFix, (ASCII) Text, LATEX, and HTML. This generic framework of front-ends and back-ends is depicted in the figure above.