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

• Parent Directory
• README.Debian
• changelog
• compat
• control
• copyright
• coqtags.1
• isartags.1
• legotags.1
• po/
• proofgeneral-coq.docs
• proofgeneral-coq.examples
• proofgeneral-doc.doc-base
• proofgeneral-doc.docs
• proofgeneral-misc.docs
• proofgeneral.1
• proofgeneral.config
• proofgeneral.docs
• proofgeneral.menu
• proofgeneral.postinst
• proofgeneral.postrm
• proofgeneral.preinst
• proofgeneral.prerm
• proofgeneral.sh
• proofgeneral.templates
• proofgeneral.xpm
• rules