summaryrefslogtreecommitdiff
path: root/aied2018
ModeNameSize
-rw-r--r--aied2018.bib4559logplain
-rw-r--r--aied2018.tex2576logplain
-rw-r--r--introduction.tex3967logplain
-rw-r--r--patterns.tex14068logplain
-rw-r--r--rules.tex16510logplain