On 2004-09-28 01:37:06 +0200, Thomas Glanzmann wrote: > Deleting the hcache file(s) should fix the problem for you. Please > provide some feedback. What is the hcache? Where can I find it? -- Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / SPACES project at LORIA