Setting Up TLA+ Tools on OS X

tla (1)