-?package(matita):needs="X11" section="Applications/Science"\
+?package(matita):needs="X11" \
+ section="Applications/Science/Mathematics" \
title="Matita" \
longtitle="Matita interactive theorem prover" \
- command="/usr/bin/matita"
+ command="/usr/bin/matita" \
+ icon="/usr/share/matita/icons/matita-32.xpm"