>>>>> "Jose'" == Jose' Matos <[EMAIL PROTECTED]> writes:

Jose'>   But it seems that we have failed to take into account all the
Jose'> convertions. Inside environment layouts (paragraphs) we should
Jose'> place the standard paragraphs into an inner level.

But why are the skips in their own paragraph? They should just be part
of the paragraph they live in, IMO.

In this case,
  \layout Proof
  \added_space_bottom bigskip
  Proof...
   Proof...
   Proof...
   Proof...
   Proof...
   Proof...
   Proof...
   \layout Proof
would become
  \begin_layout Proof
  Proof...
   Proof...
   Proof...
   Proof...
   Proof...
   Proof...
   Proof...
  \begin_inset VSpace bigskip
  \end_inset


  \end_layout

  \begin_layout Proof

I do not understand where the difficulty is. But I am sure there is a
reason :)

JMarc

Reply via email to