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;