LyX ⇒ How to use a package/style in LyX installed in Miktex

[Ultrafox]

I just installed LyX and have no prior experience using LaTeX. I have the following problem:
I used MiKTeX to install a package. (Or style or whatever it is: bussproofs.sty. You can make natural deduction trees etc. using it.)
After this I also used the "reconfigure" button in Tools in LyX. And restarted LyX.

I tried inserting some code using the "Insert TeX code", I took the code from the user manual for bussproofs: http://www.logicmatters.net/resources/p ... Guide2.pdf

For example a snippet from page 3:

Code: Select all

\AxiomC{A}
\UnaryInfC{D}
\DisplayProof

But when I try to view this in LyX I get the error "Undefined control sequence", actually three of these.
What am I doing wrong, how can I use the package in LyX?

I'm running Vista and LyX 2.0.5

[meho_r]

Since you installed the package using MikTeX, it should be ready for use. To load a package, you use \usepackage command. So, in LyX, all you have to do is to load the package by:

1. Going to Document > Settings > Preamble
2. Typing in the preamble the following:

Code: Select all

\usepackage{bussproofs}

After that, try compiling your document again.

[Ultrafox]

Yes thanks, I just figured that out about 15 seconds ago!
The only difference is that in my editor the path is Document>Settings>LaTex Preamble

It seems to be working. Thank you.
I found the solution here:
http://www.stat.rice.edu/~helpdesk/howto/lyxguide.html