summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral
ModeNameSize
-rw-r--r--Manifest381logplain
d---------files116logplain
-rw-r--r--metadata.xml259logplain
-rw-r--r--proofgeneral-4.2.ebuild1392logplain