# emacs backups
*~
# autoconf traces
autom4te.cache/*
# XML files
*.xml
# automatically generated Prolog files
aa*.pl
ab*.pl
ae*.pl
af*.pl
ag*.pl
ah*.pl
ai*.pl
aj*.pl
ak*.pl
al*.pl
am*.pl
an*.pl
ao*.pl
ap*.pl
aq*.pl
as*.pl
at*.pl
300*.pl
8000*.pl
ml.pl
lnr.pl
ml_linearone.pl
ml_vpmod.pl
formulas.pl
semantics.*
proof.tex
proofs.pl
grail_log
rule_logs
parse_logs
texlog
unparsed
previous_semantics.pl
chart_noadverbs.pl
semantics.pl
annodis_proofs.pl
unparsed.pl
prolog_log.txt
lassy/proof.tex
lassy/latex_proofs.aux
lassy/latex_proofs.log
lassy/latex_proofs.pdf
latex_proofs.aux
latex_proofs.log
latex_proofs.pdf
immobilise.pdf
sem.tex
sem.aux
sem.pdf
sem.log
proof.aux
proof.log
proof.pdf
texput.log
stored.txt
tmp*.pl
annodis_backup.pl
log