# TLC toolchain and scratch output
tla2tools.jar
states/
*.old
