4 Sep
2014
4 Sep
'14
1:11 p.m.
Hello, I have searched for a solution for making proof trees, but I have failed to find a working setup. Does anyone know of a solution? I have used bussproofs.sty with LaTeX, and have seen that discussed on this list some years ago: http://www.ntg.nl/pipermail/ntg-context/2010/051489.html (How) can I use this package in ConTeXt? I have also looked at this metapost package, but it seems this package relies deeper on LaTeX: http://tug.ctan.org/graphics/metapost/contrib/macros/drv/drv.mp Have anyone other suggestions? -- Trond Thorbjørnsen