Re: Lemma etc. missing from entcs.layout.

2013-06-05 Thread Richard Heck
Vincent, can this go in? It's just updates to entcs.layout and an associated template. Richard On 06/05/2013 11:23 AM, John McCabe-Dansted wrote: On Sun, Nov 27, 2011 at 10:37 PM, Richard Heck > wrote: On 11/27/2011 06:43 AM, John McCabe-Dansted wrote:

Re: Lemma etc. missing from entcs.layout.

2013-06-05 Thread John McCabe-Dansted
On Sun, Nov 27, 2011 at 10:37 PM, Richard Heck wrote: > On 11/27/2011 06:43 AM, John McCabe-Dansted wrote: > > 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

Re: Lemma etc. missing from entcs.layout.

2011-11-27 Thread Richard Heck
On 11/27/2011 06:43 AM, John McCabe-Dansted wrote: > 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

Re: Lemma etc. missing from entcs.layout.

2011-11-27 Thread John McCabe-Dansted
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

Lemma etc. missing from entcs.layout.

2011-07-31 Thread John McCabe-Dansted
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 usin