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