>>>>> "Hal" == Hal Kierstead <[EMAIL PROTECTED]> writes:

Hal> I am trying to get started using LyX for writing mathematics. The
Hal> program looks very promising, but I cannot import existing LaTex
Hal> files into LyX in a usable form. All the theorems and proofs
Hal> appear as drt. Is there a way to resolve this problem?

This is unfortunately a known problem, due to the fact that LyX does
not handle natively theorem environments. I see two solutions:

1/ import the file by hand with reLyX by passing the following
options (assuming the environments names are theorem, lemma and proof):
reLyX -r theorem,lemma,proof myfile.tex

You may want to put these names in your personal syntax file (see the
reLyX man page for details).

2/ Create your own layout file that contains descriptions of the
theorems you use. This is more complicated (see Customization.lyx).
This is what the ams classes do.

Hope this helps.

JMarc

Reply via email to