On Wed, Jul 01, 2009 at 04:01:02PM +0200, Jerome Laurens wrote:

Hi there,

Hahn found a bug in synctex, I fixed it and made the tests with the stable branch of pdftex

[...]

That makes 74 files processed at 4.75 sec/file

[...]

That makes 63 files processed at 5.3 sec/file

If that's OK I'll send the diff file

please do post the diff file. thanks, Thanh