在OS X上设置TLA +工具

TLA(1)