Re: "#This file was created by"-comment and CVS

1999-11-22 Thread Lars Gullik Bjønnes
Amir Karger <[EMAIL PROTECTED]> writes: | Why not the preamble? Or the comment environment? Or Notes. IMO, there's no | reason to have an extra inset. That is why I wrote "inset" and not inset. Lgb

Re: "#This file was created by"-comment and CVS

1999-11-22 Thread Martin Norbäck
Mon Nov 22 1999, Jean-Marc Lasgouttes -> > >> I think we should just have a static line in the front: > >> > >> "# This file is created with LyX. Copyright Mattias Ettrich and the > >> LyX Team." > >> > >> Or similar. > > Jules> Preferably something which doesn't give the impression that the >

Re: "#This file was created by"-comment and CVS

1999-11-22 Thread Jean-Marc Lasgouttes
> "Jules" == Jules Bean <[EMAIL PROTECTED]> writes: >> I think we should just have a static line in the front: >> >> "# This file is created with LyX. Copyright Mattias Ettrich and the >> LyX Team." >> >> Or similar. Jules> Preferably something which doesn't give the impression that the Ju

Re: "#This file was created by"-comment and CVS

1999-11-21 Thread Amir Karger
On Sat, Nov 20, 1999 at 10:34:15AM +0100, Lars Gullik Bjønnes wrote: > Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: > > I think we should just have a static line in the front: > > "# This file is created with LyX. Copyright Mattias Ettrich and the LyX Team." > > Or similar. > > And have a

Re: "#This file was created by"-comment and CVS

1999-11-21 Thread Jules Bean
On 20 Nov 1999, Lars Gullik Bjønnes wrote: > Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: > > | I think we should remove this line altogether, since it is not really > | useful anyway (a bit like the UID in MSWORD that made so much noise, > | if you ask me). > | > | I'll remove it soon if n

Re: "#This file was created by"-comment and CVS

1999-11-20 Thread Lars Gullik Bjønnes
Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: | I think we should remove this line altogether, since it is not really | useful anyway (a bit like the UID in MSWORD that made so much noise, | if you ask me). | | I'll remove it soon if nobody objects. Anyway, it is just a comment, | and is neve

Re: "#This file was created by"-comment and CVS

1999-11-17 Thread Jean-Marc Lasgouttes
> "Michael" == Michael J Banks <[EMAIL PROTECTED]> writes: Michael> Martin Norb{ck wrote: >> Hi! I'm using lyx together with CVS, and it works like a charm. No >> unnecessary restructuring of the text. >> >> There is one small problem though: each time the document is saved >> LyX updates th

Re: "#This file was created by"-comment and CVS

1999-11-17 Thread Michael J. Banks
Martin Norb{ck wrote: > Hi! > I'm using lyx together with CVS, and it works like a charm. No > unnecessary restructuring of the text. > > There is one small problem though: each time the document is saved LyX > updates the "#This file was created by" header. I have been meaning to ask about this

"#This file was created by"-comment and CVS

1999-11-17 Thread Martin Norb{ck
Hi! I'm using lyx together with CVS, and it works like a charm. No unnecessary restructuring of the text. There is one small problem though: each time the document is saved LyX updates the "#This file was created by" header. This makes CVS conflicts unavoidable if two people have been editing th

Re: "#This file was created by"-comment and CVS

1999-01-16 Thread Jean-Marc Lasgouttes
> "Martin" == Martin Norb{ck <[EMAIL PROTECTED]> writes: Martin> Hi! I'm using lyx together with CVS, and it works like a Martin> charm. No unnecessary restructuring of the text. Martin> There is one small problem though: each time the document is Martin> saved LyX updates the "#This file wa