.gitignore - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/.gitignore

blob: 2039757e64a8e61a46e63df0379e7753a38482ed (plain)

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