?package(proofgeneral):needs="X11" section="Applications/Science/Mathematics"\
  title="Proof General" command="/usr/bin/proofgeneral"
