/etc/

• ../
• ProofGeneral.menu
• ProofGeneral.spec
• README
• TESTS
• announce
• bug-notes.txt
• coq
• cvs-tips.txt
• debugging-tips.txt
• demoisa
• doc-notes.txt
• isa
• isar
• junk.el
• lego
• patches
• pgkit
• profiling.txt
• proofgeneral-domain.txt
• release-log.txt
• screenshot-notes.txt
• test-schedule.txt
• testing-log.txt