On Fri, May 21, 2010 at 8:06 PM, Edgar Friendly <thelema...@gmail.com> wrote: > On 05/21/2010 06:43 AM, Martin DeMello wrote: >> >> 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? > > Batteries just recently regained GODI support and will likely have its 1.2 > release this weekend with full GODI support.
Great news :) 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
