blob: 2f29475105c6cd3c0f465e456a31522b115872d7 (
plain)
1
2
3
4
5
6
7
8
9
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;
|