Automatic mail to mark BUG#410547 fixed on coordination list. Fixed in version ocaml-tools 2007.02.04-2 by Samuel Mimram If this is in error please report to Mathias Klein <ma_klein@gmx.de>