summaryrefslogtreecommitdiff
path: root/aied2018
ModeNameSize
-rw-r--r--aied2018.bib4328logplain
-rw-r--r--aied2018.tex2587logplain
-rw-r--r--aied2018_short.tex13385logplain
-rw-r--r--evaluation.tex5016logplain
-rw-r--r--introduction.tex3943logplain
-rw-r--r--patterns.tex10891logplain
-rw-r--r--rules.tex16467logplain