Amir Rachum wrote:
How do I compile these? When I use Import > LaTeX (plain) I get a weird file, with both those files. I can attach a screen shot if you want me to.
I'm not sure how it's done in Windows; in linux I just run the latex command on them to see that the output is correct:
latex <file>produces a dvi file (I'm attaching a pdf of the fixed output, just so that you can confirm it's correct).
If import isn't working, that may be another problem, but I never import latex into LyX, so I'm just not sure...
proofexample-fixed.pdf
Description: Adobe PDF document
