On 2005-07-13 18:29:25 +0200, David Martínez Moreno wrote: > Try the attached dexconf, and see if your problem vanishes. Yes, this solves the problem. Thanks. -- Vincent Lefèvre <vincent@vinc17.org> - 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