On 2004-09-18 10:22:05 +0200, Thomas Glanzmann wrote: > which version are you using. I have no such problems with 1.5.6 - > current CVS HEAD. The version checked out from CVS and compiled on September 1. -- 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