/doc/
../
.cvsignore
Makefile
ProofGeneral.jpg
ProofGeneral.texi
README.doc
dir
docstring-magic.el
localdir