Name: Arthur van Dam Email: adam@cs.uu.nl Personal homepage: http://www.eye-home.net Research homepage: http://arthur.van-dam.net/twiki/ Country: Netherlands Main ...
Task How to use pretty-printed documents in LaTeX. Description The back-end abox2latex produces LaTeX code according to the formatting defined in a Box term. In order ...