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.




Reply via email to