*.cmi
*.cmo
*.mli
parser.ml
scanner.ml
gridlok
scanner
*.diff
test.log
test-*
fail-*
redo.sh
myscript.gl
