1 2 3 4 5 6 7 8
[Desktop Entry] Type=Application Name=Logic 2010 Comment=A free logic homework application and proof system Exec=logic2010 Icon=logic2010 Terminal=false Categories=Education;