[helm.git] / pkg-matita / trunk / debian / matita.menu

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