etc/ProofGeneral.menu


1
2
3
4
5
6
7

?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"