1 2 3 4 5 6 7 8 9
[Desktop Entry] Name=Rodin Comment=A tool for cost effective rigorous development of dependable software systems Icon=rodin Exec=/opt/rodin/rodin Terminal=false Type=Application Categories=Development;IDE;Java; StartupNotify=true