On 16-07-2007, Stefano Zacchiroli <[EMAIL PROTECTED]> wrote: > > On Sun, Jul 15, 2007 at 10:36:07AM +0200, Stefano Zacchiroli wrote: >> News? > > I'm working on lablgtk2 myself right now, 'cause I want to try building > Matita (a proof assistant we're developing in Bologna) with 3.10, as a > big test case for our whole OCaml 3.10 stack now almost available in > experimental. >
OK, i am sorry for the delay (uploaded lablgl only yesterday). I have problem with my ISP (link is very slow). I was trying to solve this yesterday. Now, i am at work... So i cannot do anything before tonight. If you want me to finish lablgtk2 upload, drop me a mail... Regards, Sylvain Le Gall -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
