/etc/
../
ProofGeneral.patch
ProofGeneral.spec
README
TESTS
announce
isa
lego
notes.txt
testing-log.txt