# Compiled
*.elc

# Packaging
company-coq-pkg.el
company-coq-autoloads.el
.cask
dist/
TODO.org
img/coq-pl-16-*.png
etc/tactics
etc/vm/.vagrant
experiments/untracked/
