>>>>> "Juergen" == Juergen Vigna <[EMAIL PROTECTED]> writes:
Juergen> I had a look at the patch and it seems indeed exactly the Juergen> same as I did with the 1.3.0 tree. Jean-Marc I would advise Juergen> you to apply this patch! I did it. Thanks to you and Michael for doing the hard work. There is still one remaining und bug, BTW: http://bugzilla.lyx.org/show_bug.cgi?id=578 JMarc
