Paul Eggert wrote:
On 2/25/14 11:40, Paul Eggert wrote:On 02/25/2014 01:47 AM, Dagobert Michelsen wrote:Shouldn’t the transformation be applied to all occurrences?Yes, I think it should.After eight years I got around to implementing this (since nobody else wanted to :-)
Thank you very much, Paul. I would say that the problem was difficult enough that nobody else dared to fix it. ;-)
Best regards, Antonio.