On Thu, Nov 15, 2012 at 4:06 AM, <r.priha...@utwente.nl> wrote:
> Dear Richard,
>
> Attached please find the files: the original lyx file (sample1.lyx), the
> exported latex file (sampletex.tex), and the imported back lyx file
> (sampletex.lyx). The Theorem module is not compiled and appear as \begin{lem}.
>From what I understand, this depends on
http://www.lyx.org/trac/ticket/5702 . This bug is fixed in trunk, so
you will have to wait until 2.1 or possibly 2.0.6. If you happen to be
using Ubuntu, it's very easy to install the PPA and get the
development version. Otherwise, you would need to compile LyX.
Scott
