Re: Box at the end of a remark

2002-04-09 Thread Dekel Tsur
On Mon, Apr 08, 2002 at 02:31:26PM +0200, Guenter Milde wrote: On Sat, 6 Apr 2002 13:19:28 +0300 wrote Dekel Tsur [EMAIL PROTECTED]: EndLabelType Box Is this an 1.2. extension of also possible in 1.1.6? It is available in 1.1.6, but undocumented. Which EndLabelTypes are

Re: Box at the end of a remark

2002-04-09 Thread Dekel Tsur
On Mon, Apr 08, 2002 at 02:31:26PM +0200, Guenter Milde wrote: On Sat, 6 Apr 2002 13:19:28 +0300 wrote Dekel Tsur [EMAIL PROTECTED]: EndLabelType Box Is this an 1.2. extension of also possible in 1.1.6? It is available in 1.1.6, but undocumented. Which EndLabelTypes are

Re: Box at the end of a remark

2002-04-09 Thread Dekel Tsur
On Mon, Apr 08, 2002 at 02:31:26PM +0200, Guenter Milde wrote: > On Sat, 6 Apr 2002 13:19:28 +0300 wrote Dekel Tsur <[EMAIL PROTECTED]>: > > > > > EndLabelType Box > > > > > > Is this an 1.2. extension of also possible in 1.1.6? > > > It is available in 1.1.6, but undocumented. > > Which

Re: Re: Box at the end of a remark

2002-04-06 Thread Dekel Tsur
On Thu, Apr 04, 2002 at 12:37:51PM +0200, Guenter Milde wrote: On 04 Apr 2002 10:31:14 +0200 wrote Jean-Marc Lasgouttes [EMAIL PROTECTED]: And, most importantly, add the following :) EndLabelType Box Is this an 1.2. extension of also possible in 1.1.6? (I did not find the

Re: Re: Box at the end of a remark

2002-04-06 Thread Dekel Tsur
On Thu, Apr 04, 2002 at 12:37:51PM +0200, Guenter Milde wrote: On 04 Apr 2002 10:31:14 +0200 wrote Jean-Marc Lasgouttes [EMAIL PROTECTED]: And, most importantly, add the following :) EndLabelType Box Is this an 1.2. extension of also possible in 1.1.6? (I did not find the

Re: Re: Box at the end of a remark

2002-04-06 Thread Dekel Tsur
On Thu, Apr 04, 2002 at 12:37:51PM +0200, Guenter Milde wrote: > On 04 Apr 2002 10:31:14 +0200 wrote Jean-Marc Lasgouttes <[EMAIL PROTECTED]>: > > > > And, most importantly, add the following :) > > EndLabelType Box > > Is this an 1.2. extension of also possible in 1.1.6? (I did not find

Re: Box at the end of a remark

2002-04-04 Thread Jean-Marc Lasgouttes
Allan == Allan Rae [EMAIL PROTECTED] writes: Allan On Wed, 3 Apr 2002, Bas Spitters wrote: For an environment I would use: \newenvironment{myremark}{\begin{remark}}{\qed\end{remark}} Allan [...] Second, I want lyx to use myremark instead of remark, when I select remark in lyx What should I

Re: Re: Box at the end of a remark

2002-04-04 Thread Guenter Milde
On 04 Apr 2002 10:31:14 +0200 wrote Jean-Marc Lasgouttes [EMAIL PROTECTED]: And, most importantly, add the following :) EndLabelType Box Is this an 1.2. extension of also possible in 1.1.6? (I did not find the EndLabelType tag in my documentation, but maybe I was just overlooking it.)

Re: Box at the end of a remark

2002-04-04 Thread Jean-Marc Lasgouttes
Allan == Allan Rae [EMAIL PROTECTED] writes: Allan On Wed, 3 Apr 2002, Bas Spitters wrote: For an environment I would use: \newenvironment{myremark}{\begin{remark}}{\qed\end{remark}} Allan [...] Second, I want lyx to use myremark instead of remark, when I select remark in lyx What should I

Re: Re: Box at the end of a remark

2002-04-04 Thread Guenter Milde
On 04 Apr 2002 10:31:14 +0200 wrote Jean-Marc Lasgouttes [EMAIL PROTECTED]: And, most importantly, add the following :) EndLabelType Box Is this an 1.2. extension of also possible in 1.1.6? (I did not find the EndLabelType tag in my documentation, but maybe I was just overlooking it.)

Re: Box at the end of a remark

2002-04-04 Thread Jean-Marc Lasgouttes
> "Allan" == Allan Rae <[EMAIL PROTECTED]> writes: Allan> On Wed, 3 Apr 2002, Bas Spitters wrote: >> For an environment I would use: >> \newenvironment{myremark}{\begin{remark}}{\qed\end{remark}} Allan> [...] >> Second, I want lyx to use myremark instead of remark, when I select >> remark in

Re: Re: Box at the end of a remark

2002-04-04 Thread Guenter Milde
On 04 Apr 2002 10:31:14 +0200 wrote Jean-Marc Lasgouttes <[EMAIL PROTECTED]>: > And, most importantly, add the following :) > EndLabelType Box Is this an 1.2. extension of also possible in 1.1.6? (I did not find the EndLabelType tag in my documentation, but maybe I was just overlooking

Re: Box at the end of a remark

2002-04-03 Thread Allan Rae
On Wed, 3 Apr 2002, Bas Spitters wrote: For an environment I would use: \newenvironment{myremark}{\begin{remark}}{\qed\end{remark}} [...] Second, I want lyx to use myremark instead of remark, when I select remark in lyx What should I do to make lyx do this? Make a copy of the layout file

Re: Box at the end of a remark

2002-04-03 Thread Allan Rae
On Wed, 3 Apr 2002, Bas Spitters wrote: For an environment I would use: \newenvironment{myremark}{\begin{remark}}{\qed\end{remark}} [...] Second, I want lyx to use myremark instead of remark, when I select remark in lyx What should I do to make lyx do this? Make a copy of the layout file

Re: Box at the end of a remark

2002-04-03 Thread Allan Rae
On Wed, 3 Apr 2002, Bas Spitters wrote: > For an environment I would use: > \newenvironment{myremark}{\begin{remark}}{\qed\end{remark}} [...] > Second, I want lyx to use myremark instead of remark, when I select remark in > lyx > What should I do to make lyx do this? Make a copy of the layout