I fiddled with a .layout file, and there is now a style 'Proof'.
In LyX everything looks ok (including e.g. the EndLabel),
but the exported LaTeX looks like:
.... some text.
\end{proof}
And here comes the next paragraph ...
The .dvi consequently looks like
.... some text. [] And here comes the next paragraph ...
i.e. there is either a \par or an empty line after the \end{proof}
missing. How can I convince LyX to insert one there?
Andre'
--
It'll take a long time to eat 63.000 peanuts.
Andr� P�nitz ......................... [EMAIL PROTECTED]
