?package(proofgeneral):needs="X11" section="Applications/Science/Mathematics"\
  title="ProofGeneral"\
  command="/usr/bin/proofgeneral"\
  icon="/usr/share/pixmaps/proofgeneral.xpm"
