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..a8c9798717cb --- /dev/null +++ b/isabelle.desktop @@ -0,0 +1,9 @@ +[Desktop Entry] +Type=Application +Name=Isabelle +Comment=HOL based theorem prover +Exec="/usr/bin/isabelle jedit" +Icon=/opt/isabelle/src/Tools/jEdit/dist/doc/jedit.png +Terminal=false +Categories=Education; +X-Desktop-File-Install-Version=0.22 |