diff options
Diffstat (limited to 'isabelle.desktop')
-rw-r--r-- | isabelle.desktop | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/isabelle.desktop b/isabelle.desktop new file mode 100644 index 000000000000..9c6f94b1c8f6 --- /dev/null +++ b/isabelle.desktop @@ -0,0 +1,9 @@ +[Desktop Entry] +Type=Application +Name=Isabelle +Comment=Generic proof assistant +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 |