The version of batteries on GODI is pretty old by now, and shows no signs of being updated. Googling around, I can't find anything about this - is there some reason the latest batteries is not on GODI?
martin _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs