Irrational Exuberance
!
Recent
Popular
Talks
Newsletter
RSS
About
Setting Up TLA+ Tools on OS X
October 31, 2009
A quick walkthrough for setting up the TLA+ tools on OS X.
tla