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? Cheers Markus