/math/proofgeneral/files/

• ../
• patch-Makefile
• patch-doc-Makefile.doc
• patch-etc_desktop_proofgeneral.desktop
• patch-isar-interface
• pkg-message.in