/etc/
../
ProofGeneral.patch
ProofGeneral.spec
README
TESTS
announce
coq
debugging-tips.txt
isa
isar
junk.el
lego
notes.txt
profiling.txt
release-log.txt
testing-log.txt