- Revision 1474: /ports/head/math/proofgeneral/files

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