diff options
| author | bitwave | 2015-07-19 13:34:26 +0200 |
|---|---|---|
| committer | bitwave | 2015-07-19 13:34:26 +0200 |
| commit | bb74cae0fc7e97b6c1f97868966e686c42a066ce (patch) | |
| tree | 3b10210697d29464404ce79c68a2b691488168ea /isabelle.desktop | |
| parent | 7ffba93ec97c22370ed5e622175394142ed5e258 (diff) | |
| download | aur-bb74cae0fc7e97b6c1f97868966e686c42a066ce.tar.gz | |
fixed desktop file
Diffstat (limited to 'isabelle.desktop')
| -rw-r--r-- | isabelle.desktop | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/isabelle.desktop b/isabelle.desktop index a8c9798717cb..b1439b1c3fa5 100644 --- a/isabelle.desktop +++ b/isabelle.desktop @@ -2,8 +2,8 @@ Type=Application Name=Isabelle Comment=HOL based theorem prover -Exec="/usr/bin/isabelle jedit" -Icon=/opt/isabelle/src/Tools/jEdit/dist/doc/jedit.png +Exec=/usr/bin/isabelle jedit +Icon=/opt/isabelle/lib/icons/isabelle.xpm Terminal=false -Categories=Education; +Categories=Education;Science;Math; X-Desktop-File-Install-Version=0.22 |