/doc/

• ../
• .cvsignore
• Makefile
• Makefile.doc
• PG-adapting.texi
• ProofGeneral.jpg
• ProofGeneral.texi
• README.documentation
• dir
• docstring-magic.el
• proofgeneral.1