/doc/
../
.gitignore
Makefile
Makefile.doc
PG-adapting.texi
ProofGeneral-image.jpg
ProofGeneral.texi
README.documentation
dir
docstring-magic.el
proofgen.css
proofgeneral.1