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

• Parent Directory
• Dockerfile
• ProofGeneral.desktop
• ProofGeneral.menu
• ProofGeneral.spec
• README
• coq/
• cvs-tips.txt
• demoisa/
• desktop/
• development-tips.txt
• emacsbugs/
• profiling.txt
• proofgeneral-domain.txt
• proviola/
• testsuite/
• trac/