/etc/
../
Mailman
ProofGeneral.desktop
ProofGeneral.menu
ProofGeneral.spec
README
README.devel
TESTS
announce
announce-header.txt
bug-notes.txt
coq
cvs-tips.txt
debugging-tips.txt
demoisa
desktop
doc-notes.txt
isa
isar
lego
mmm-install
patches
pgkit
profiling.txt
proofgeneral-domain.txt
release-log.txt
screenshot-notes.txt
test-schedule.txt
testing-log.txt
testsuite