[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Toolbox 1.5.0 release candidates

On 06.05.2015 19:25, Andrew Helwer wrote:
> Is there a dev mailing list I can join?

Hi Andrew,

there is no dev list. The group of people working on the Toolbox, TLC
and TLAPM is sufficiently small for direct communication.

What part of the project are you interested in?