summaryrefslogtreecommitdiff
path: root/aied2018
ModeNameSize
-rw-r--r--aied2018.bib1106logplain
-rw-r--r--aied2018.tex2452logplain
-rw-r--r--patterns.tex11068logplain
-rw-r--r--rules.tex9813logplain