diff options
| author | bitwave | 2015-07-16 20:30:20 +0200 |
|---|---|---|
| committer | bitwave | 2015-07-16 20:30:20 +0200 |
| commit | 7ffba93ec97c22370ed5e622175394142ed5e258 (patch) | |
| tree | c691ff8135bc8c43829aac6ba7606ca184fbfa93 /isabelle.desktop | |
| parent | dc4573c14119dcff064807f69abdd760045a53a1 (diff) | |
| download | aur-7ffba93ec97c22370ed5e622175394142ed5e258.tar.gz | |
moved some depends to opt & added .desktop file
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 |