On Mon, Jul 16, 2007 at 01:29:43PM +0200, Stefano Zacchiroli wrote:
> 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.
Uploaded.
Thanks to Sylvain for having worked on LablGL last night, otherwise I
wouldn't have been able to rebuild lablgtk ...
--
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the
(15:57:15) Bac: no, la demo scema \/ right keys at the right time
Attachment:
signature.asc
Description: Digital signature