Markus Fix
|
12c401c39a
|
fixes TLA+ app installation with correct app name.
previously the application bundle didn't use the "branded"
name. The 1.5.2 version now uses "TLA+ Toolbox.app" as the name
for the application bundle.
|
2016-01-12 14:33:50 +00:00 |
|
lispmeister
|
7d27d31806
|
updates tla-plus-toolbox
currently downloads fail with this error message:
```
Error: Download failed on Cask 'tla-plus-toolbox' with message: Download failed: https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.1-macosx.cocoa.x86_64.zip
```
Updating the version number to 1.5.2 (current) should fix this issue.
|
2016-01-11 18:51:49 +00:00 |
|
Tommy Sparber
|
18f1402dc1
|
Switch to HTTPS for 360 Casks
Every changed URL was reachable using valid HTTPS and returned a
StatusCode of 200.
|
2015-12-27 10:11:04 +11:00 |
|
Josh Hagins
|
feba4ec740
|
Remove DSL versions from all casks
|
2015-12-17 20:15:28 -05:00 |
|
Manuel Odendahl
|
bf21c78f8d
|
Upgrade TLA+ Toolbox to 1.5.1
This updates TLA+ Toolbox to version 1.5.1.
|
2015-08-01 20:35:35 -04:00 |
|
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 |