Kornel <kornel <at> lyx.org> writes: > > > > Is there a tool which makes a real diff by filtering this noise ? > > I have a perl script using for this case, maybe you want to try it?
I was about to hack pocheck.pl to do it, but if you have a script, yes, I'll try it. Received it by separate mail, works fine, thanks a lot. What about adding it in trac, together with pocheck.pl ? -- Jean-Pierre