*~
*.cmi
*.cmo
*.cmx
*.annot
*.o
*.exe
*.opt
*.run
.omakedb*
*.omc
*.lp
*.lpo
*.thc
*.dep
*.out
*.output
*.html
!index.html
*.native
abella
_build
/abella.install
smoke/
bad-examples/
dev-examples/