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