There is an issue with the translation of the labels of the AMS theorem module described at http://wiki.lyx.org/LyX/I18nLabels.
The problem is that you can not place the items
\newtheorem{NewName_e}{NewLabel_e}
\renewenvironment{OrigName_e}{\begin{NewName_e}}{\end{NewName_e}}
for all the environments (e = cor, lem, prop, ...), but you can only place them
for those environments that are actually used in the lyx document. For example
the attached LyX file can not be compiled for this reason.
This issue makes complicated the creation and development of documents because
you have to adjust the preamble to the present set of the used environments all
the time.
Even when a new environment appears you have to remember to translate the new
environment, or when an environment disappears totally you need remove the
related part to be able to compile the document. It also prevent you from using
the same preamble file for different documents.
Maybe the renewenvironment command should be put behind a condition "if the
environment OrigName_e exists than..." but I don't know how to implement this.
Cheers, Máté
Corollary.lyx
Description: application/lyx
