Uwe Stöhr wrote: > OK, tex2lyx forced me to add the solution environment also to the AMS > theorem modules. Now the testfile works.
How can tex2lyx force you to touch completely unrelated modules? This looks like a bug in tex2lyx, which should be addressed properly. BTW, you are hopefully aware of the current commit rules (trivial changes may go in directly, anything else needs to be supported by at least one developer)? Changing the AMS theorem modules does not look like a trivial change to me, and I did not see any discussion of this change. Georg
