On Wed, Apr 27, 2005 at 11:46:37AM +0200, Andreas Rottmann wrote: > John Goerzen <jgoerzen@complete.org> writes: > > > tla-tools > > > I can take this one, if noone else wants it. Manoj has also expressed interest; could you coordinate with him? -- John