diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/tlaplus/toolbox.nix')
| -rw-r--r-- | nixpkgs/pkgs/applications/science/logic/tlaplus/toolbox.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/tlaplus/toolbox.nix b/nixpkgs/pkgs/applications/science/logic/tlaplus/toolbox.nix index 86c3db9942a1..288ddc06806a 100644 --- a/nixpkgs/pkgs/applications/science/logic/tlaplus/toolbox.nix +++ b/nixpkgs/pkgs/applications/science/logic/tlaplus/toolbox.nix @@ -90,6 +90,7 @@ stdenv.mkDerivation rec { meta = { homepage = "http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html"; description = "IDE for the TLA+ tools"; + mainProgram = "tla-toolbox"; longDescription = '' Integrated development environment for the TLA+ tools, based on Eclipse. You can use it to create and edit your specs, run the PlusCal translator, view the pretty-printed |