On Mon, Jul 11, 2005 at 10:14:20AM -0300, João Luis Meloni Assirati wrote:
> 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}
> )
Why not
ERT(\begin{unknown})
ERT(\large)
some text
ERT(\end{unknown})
?
Andre'
