blob: cda3fd48c4688a989444c17484a43e737c68c9c9 (
plain)
1
2
3
4
5
6
7
|
?package(ProofGeneral):\
needs=X11\
section="Applications/Sciences/Computer science"\
title="Proof General"\
longtitle="Interface to Proof Assistants"\
command="/usr/bin/proofgeneral"\
icon="pgicon.png"
|