/doc/
../
.cvsignore
Makefile
ProofGeneral.texi
dir
localdir
notes.txt