/etc/
../
ProofGeneral.patch
ProofGeneral.spec
announce