/etc/

• ../
• ProofGeneral.patch
• ProofGeneral.spec
• README
• TESTS
• announce
• isa
• isar
• lego
• notes.txt
• release-log.txt
• testing-log.txt