I have proposed a patch to allow use of lemmas etc. in the ENTCS format. I think someone who was familiar with the LyX layout format could do a better job, but it works and a few few months have passed with no comments. Shall I just tidy up the attribution a bit and commit to trunk?
On Sun, Jul 31, 2011 at 8:30 PM, John McCabe-Dansted <gma...@gmail.com> wrote:
> When I convert an article to entcs format I get the problem:
> 1) If I leave the Theorems module enabled. I get errors claiming e.g.
> “Command \proof already defined”
> 2) If I delete the Theorems module then LyX claims that lists the
> Lemma environment as "Lemma (unknown)".
>
> I attach the patch I am using to work around this, it adds a
> "theorems-nopreamble-fullnames.inc" file that is similar to
> theorems.inc, but does not add definitions to the preamble, and uses
> the full names in the LaTeX output "e.g. \begin{lemma}" instead of
> "\begin{lem}" .
>
> Presumably this problem has occurred before in other layout files, and
> there is already a ready made solution and so we don't need to add
> "theorems-nopreamble-fullnames.inc". However, I can't find the
> solution using e.g. Google, nor does including any of the existing
> theorem files seem to do the trick.
>
> --
> John C. McCabe-Dansted
>
--
John C. McCabe-Dansted
fix_ENTCS_lemma.layout
Description: Binary data
