>>>>> "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