> We didn't discuss that. For the moment, I'll wait until the > caml.inria.fr issue is resolved before asking our network admins > anything else :-) Hello,
I hope your admin does not read caml-list or has a good sense of humour ;-) Cheers, Christophe > - Xavier Leroy > -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs