blob: 8264de65a021ab9d69e1c52d0b17bd383307fb98 (
plain)
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"
|