Setting Up TLA+ Tools on OS X

October 31, 2009 A quick walkthrough for setting up the TLA+ tools on OS X.

Filed under tla