*~
*.cmi
*.cmo
*.cmx
*.annot
*.o
*.exe
*.opt
*.run
.omakedb*
*.omc
*.lp
*.lpo
*.thc
*.dep
*.out
*.output
*.html
!index.html
*.native
src/lexer.ml
src/parser.ml
src/parser.mli
src/version.ml
abella
_build
examples/examples.tar.gz
/abella.install
