>>>>> "Tom" == Tom Tromey <[EMAIL PROTECTED]> writes:
Tom> As far as I know nobody is actively working on any of this, though Tom> Mañuel and I talk about it sporadically. Crap, I misspelled his name while trying extra to get it right. Sorry about that. Tom
