On 2003-12-23 09:34:23 +0000, Clive Menzies wrote: > I'm not sure whether this is relevant but I found Rob Weir's font guide, > posted here a while back, very useful: > > http://egads.ertius.org/~rob/font_guide.txt
Thanks, I've done all what this document says, and now gimv starts in about 5 seconds instead of 25! However, I don't know the reason. :) -- Vincent Lef�vre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> - 100% validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des Jeux Math�matiques et Logiques, TETRHEX, etc. Work: CR INRIA - computer arithmetic / SPACES project at LORIA -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

