summarylogtreecommitdiffstats
path: root/jape.desktop
blob: 924d92e1a171b11c2d40df82fde39793576c1090 (plain)
1
2
3
4
5
6
7
8
9
[Desktop Entry]
Type=Application
Version=1.0
Name=Jape
Comment=Graphical proof assistant
Exec=jape
Icon=jape
Terminal=false
Categories=Education;Science;Java;