?package(ProofGeneral):\
  needs=X11\
  section="Applications/Sciences/Computer science"\
  title="Proof General"\
  longtitle="Interface to Proof Assistants"\
  command="/usr/bin/proofgeneral"\
  icon="pgicon.png"