/math/proofgeneral/files/
../
patch-Makefile
patch-doc-Makefile.doc
patch-etc_desktop_proofgeneral.desktop
patch-isa_isabelle-system.el
pkg-message.in