Badi Abdul-Wahid 40b53a5d0d tla+ toolbox: 1.5.7 -> 1.6.0 ... Bumps to new release of TLA+ Toolbox. Main change: - toolbox now includes JRE so those external dependencies are no longer needed. Testing: - nix-build -A tlaplusToolbox - ./result/bin/tla-toolbox - pdf generation - validation of a simple pluscal model		2019-08-04 09:27:13 -05:00
..
default.nix
tlaps.nix	pkgs/*: remove unreferenced function arguments	2018-07-21 02:48:04 +00:00
toolbox.nix	tla+ toolbox: 1.5.7 -> 1.6.0	2019-08-04 09:27:13 -05:00