[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