?package(ProofGeneral):\
  needs=X11\
  section="Applications/Sciences/Computer science"\
  title="Proof General"\
  longtitle="A generic interface for interactive theorem provers"\
  command="/usr/bin/proofgeneral"\
  icon="pgicon.png"