On Mon, Apr 05, 2010 at 07:57:02PM +0200, Christian PERRIER wrote: > I bet that I'll need to do another CVS snapshot..:-)
For iovalue.ml, latest version is indeed 5.9, therefore ok. Perhaps another error indeed. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

