summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral
ModeNameSize
-rw-r--r--Manifest1535logplain
d---------files116logplain
-rw-r--r--metadata.xml282logplain
-rw-r--r--proofgeneral-4.2.ebuild1385logplain