auctex
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[AUCTeX] Help with latex-preview of bussproofs


From: Carlo Nucera
Subject: [AUCTeX] Help with latex-preview of bussproofs
Date: Mon, 18 May 2015 02:48:36 +0200

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?
Thanks
Carlo


[1] http://math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/

Attachment: bussproofs.png
Description: PNG image


reply via email to

[Prev in Thread] Current Thread [Next in Thread]