/etc/

• ../
• Mailman
• ProofGeneral.desktop
• ProofGeneral.menu
• ProofGeneral.spec
• README
• README.devel
• TESTS
• coq
• cvs-tips.txt
• debugging-tips.txt
• demoisa
• desktop
• development-tips.txt
• isa
• isar
• lego
• mmm-install
• patches
• pgkit
• profiling.txt
• proofgeneral-domain.txt
• testsuite
• trac