*.aux
*.log
*.out
StgOtt.tex
stg-spec.tex
