Arthur Reutenauer wrote:
So, although the problems aren't all solved yet, it seems that some of them have already disappeared in the latest revision; and even if I couldn't reproduce the exact same behaviour as Jonathan reported, I'm pretty confident that the problem with the six or seven files in the web2c directory amounts to the same as the one I had with setting TEXFORMATS (after all it's all about kpathsea search for the format file); and subsequently, I'm strongly inclined to think that this weirdest of all bugs has been fixed in the current SVN revision.
Thanks for this. No progress to report yet. My current guess is that the weird problems lately are essentially all the same problem: a rogue pointer somewhere overwrites random bits of memory with other stuff. Best wishes, Taco