*.native
*.byte
_build
krml
tags
*.checked
*.checked.lax
*~
book/_build
fstar-mode.el
.#*
