diff options
Diffstat (limited to 'tla-toolbox.desktop')
| -rw-r--r-- | tla-toolbox.desktop | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tla-toolbox.desktop b/tla-toolbox.desktop new file mode 100644 index 000000000000..2f29475105c6 --- /dev/null +++ b/tla-toolbox.desktop @@ -0,0 +1,10 @@ +[Desktop Entry] +Version=1.7 +Type=Application +Name=TLA+ Toolbox +Exec=tla-toolbox +Icon=tla-toolbox +Comment=The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools. +Categories=Development;Formal Methods +Terminal=false +MimeType=application/x-extension-iml; |