summaryrefslogtreecommitdiff
path: root/aied2018
ModeNameSize
-rw-r--r--aied2018.bib4328logplain
-rw-r--r--aied2018.tex2587logplain
-rw-r--r--evaluation.tex5009logplain
-rw-r--r--introduction.tex3943logplain
-rw-r--r--patterns.tex10892logplain
-rw-r--r--rules.tex16502logplain