2 Commits

Author	SHA1	Message	Date
Vítor Galvão	222283eab9	tla-plus-toolbox.rb: added vendor host comment	2015-01-19 02:43:31 +00:00
Bert Muthalaly	167dff946b	Add TLA+ Toolbox 1.4.8 ... All the awesome power alluded to in [Thinking for Programmers](http://channel9.msdn.com/Events/Build/2014/3-642), now just a `brew cask install tla-plus-toolbox` away	2015-01-11 23:34:28 -05:00