blob: 5f1022cdd8d82edd5c16481c64d0fd72eb390280 (
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"
|