On Sun, Nov 27, 2011 at 10:37 PM, Richard Heck <rgh...@comcast.net> 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 few months have passed > > with no comments. Shall I just tidy up the attribution a bit and > > commit to trunk? > > > Sorry not to have commented on this. > Oh dear, my response has been a while in the coming as well. > > I guess my main suggestion would be to do this by importing the > theorems.inc module and then making whatever changes need to be made, i.e.: > > Input theorems.inc > > Style Corollary > LatexName corollary > Preamble > EndPreamble > End > > Style Lemma > LatexName lemma > Preamble > EndPreamble > End > > Etc. > > That will make maintenance a bit easier. Hmm, we seem to now have have theorems-without-preamble.inc. This is pretty close to what we want, and we can use NoStyle to get rid of the bits we don't need. I have also added LastName as this is mandatory for the document to compile... one less thing for the user to ERT. ENTCS is still a bit finicky to get working. I attach "entcs.lyx": a possible template that we could include to help the user along. -- John C. McCabe-Dansted
entcs.layout.diff
Description: Binary data
entcs.lyx
Description: Binary data
