>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
Andre> On Fri, Jul 04, 2003 at 11:39:37AM +0200, Jean-Marc Lasgouttes Andre> wrote: >> What do you mean by OK? Do you mean that the normal LyX will still >> produce correct symbols with this change? Andre> No. I mean 'I know the patch and I've heard it fixes the Andre> problem' So do you have a more constructive idea about what we can do? JMarc