Hello again,
Temporary I am using a combination of framed and align, see code under. Not
a good solution, but solves my current need.
Is there an easy way to make an inline baseline shift? I want to make a
label for each line, shifted down half a line.
-Trond
\startlinecorrection
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