On Fri, 7 Dec 2001, Lars Gullik [iso-8859-1] Bjønnes wrote:
> | If you want a label there, well, write '\label{...}'. Not nice, you lose
> | all the LyX gimmicks.
>
> We do _not_ want using ERT to be nice. I want the users to be on
> their own when writing ERT.this is no argument to convert ert from 1.1.6 to 1.2 in a wrong way. Herbert
