Em Seg 11 Jul 2005 10:09, João Luis Meloni Assirati escreveu:
> IMHO, the only way to solve this problem is to parse the entire contents
> between \begin{unknown} and \end{unknown} as ERT.
That would be
ERT(\begin{unknown}) ERT(\large some text) ERT(\end{unknown})
or even better
ERT(
\begin{unknown}
\large some text
\end{unknown}
)
Regards,
João.
