blob: 1156094fcdc62950571846bf817da2768267cca8 (
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"
|