I’m glad it worked out for you. And I didn’t know about prauctex.cfg, so that’s good information.
-Ivan
On May 19, 2015, at 5:37 PM, Carlo Nucera <address@hidden> wrote:
Well, Ivan, thank you very much!
Adding the PreviewMacro command or AxiomC, UnaryInfC and the like
already made the code much more legible.
The real game changer was adding the previewEnviroment for tabular and
center, which enabled me to display the entire derivation tree, which
is what I wanted. I also used the file prauctex.cfg, because it was
suggested in the latex-preview manual.
Thanks again,
Caro
2015-05-19 5:06 GMT+02:00 Ivan Andrus <address@hidden>:
On May 17, 2015, at 6:48 PM, Carlo Nucera <address@hidden> wrote:
Hi all,
I'd like to convince preview-latex to do the preview of the commands
contained into the bussproof package [1], which is a package to edit
logical deduction proofs.
If I try now to preview the document, I get something along the image
attached, while I'd like to get the preview like the one in the
examples of bussproofs.
Can you help me here?
Adding
\PreviewMacro*[]{\AxiomC}
\PreviewMacro*[]{\UnaryInfC}
to the file prdefault.cfg works for me. I think there are ways to include it in the file itself, but if I remember correctly it’s a little more complicated. There are other options to \PreviewMacro explained in the documentation for preview.sty (should be included with your TeX installation--try `texdoc preview`).
Another thing I like adding is
\PreviewEnvironment{tabular}
which means that the entire tabular environment will become a single preview.
HTH,
Ivan