summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral
ModeNameSize
-rw-r--r--Manifest1847logplain
d---------files171logplain
-rw-r--r--metadata.xml283logplain
-rw-r--r--proofgeneral-4.4.ebuild1630logplain