Re: reformating of source and problem with <

Hi

I wrote:
> Also, when editing the following XML document, very bad things
> happen: <?xml version="1.0" encoding="utf-8"?>
> <omdoc>
> als  y: d(x,y)&lt;ε , wobei
> </omdoc>
>
> For example removing the "ei" of the word "wobei" results in
> <?xml version="1.0" encoding="UTF-8"?>
> <omdoc>als y: d(x,y)<ε , wob </omdoc>

For the record: This bug is not present in Release 10.0.1 but it is 
present in the snapshot 10.1-pre and in CVS.