[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: Toolbox 1.5.0 release candidates
I most often use the IDE and TLC, so it would be those eventually. For now I'm interested in the user onboarding experience though, which is probably best-served by the website and maybe a web demo.
On Wednesday, May 6, 2015 at 10:34:08 AM UTC-7, Markus Alexander Kuppe wrote:
On 06.05.2015 19:25, Andrew Helwer wrote:
> Is there a dev mailing list I can join?
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?