.DS_Store
*.byte
*.cmi
*.cmo
*.output
*.automaton
*.conflicts
scanner.ml
parser.ml
parser.mli
senet
output.c
/*.out

# Latex
*.log
*.aux
