1 2 3 4 5 6 7 8 9
[Desktop Entry] Type=Application Name=Isabelle Comment=HOL based theorem prover Exec=/usr/bin/isabelle jedit Icon=/opt/isabelle/lib/icons/isabelle.xpm Terminal=false Categories=Education;Science;Math; X-Desktop-File-Install-Version=0.22