Index of /data/main/p/proofgeneral/3.7-3/etc

• Parent Directory
• ProofGeneral.desktop
• ProofGeneral.menu
• ProofGeneral.spec
• README
• README.devel
• desktop/
• mmm-install
• testsuite/