summaryrefslogtreecommitdiff
path: root/aied2018
ModeNameSize
-rw-r--r--aied2018.bib4559logplain
-rw-r--r--aied2018.tex2463logplain
-rw-r--r--introduction.tex3967logplain
-rw-r--r--patterns.tex11420logplain
-rw-r--r--rules.tex9830logplain