/math/proofgeneral/files/

• ../
• patch-Makefile
• patch-doc-Makefile
• patch-doc-Makefile.doc
• patch-etc_desktop_proofgeneral.desktop
• patch-generic-proof-menu.el
• patch-isa_isabelle-system.el
• pkg-message.in