On Thu, Dec 06, 2001 at 10:57:16PM +0100, Herbert Voss wrote:
> see attached file:
> in 1.1.6 you can have a label inside ert.
> 1.2.0 end's with ert after the label.
You description is not accurate.
The 1.1.6 file contains <ert-text1>[label-inset]<ert-text2>
In 1.2.0 the result is [ert-inset1][label-inset]ert-text2,
where ert-inset1 contains the text ert-text1,
but ert-text2 appears as text and not inside ert-inset
> should be converted to \label{...}
No it shouldn't. The result should be [ert-inset1][label-inset][ert-inset2]
