.byte-compile
nohup.out
TAGS
ChangeLog
proof-general-autoloads.el
*.elc
*~