.gitignore
.DS_Store
*.aux
*.log
*.synctex.gz
*.toc
*.pdf
*.class
*.cmi
*.cmo
*.mli
parser.ml
scanner.ml

