/app-emacs/proofgeneral/files/

• ../
• 50proofgeneral-gentoo.el
• digest-proofgeneral-3.5
• digest-proofgeneral-3.5-r1
• proofgeneral-3.5_isabelle-non-interactive.patch