make chktex stop complaining
-rw-r--r-- 92 .chktexrc
-rw-r--r-- 169 .gitignore
-rw-r--r-- 0 .gitmodules
-rw-r--r-- 1265 Makefile
-rw-r--r-- 592 abstract.tex
-rw-r--r-- 409 acknowledgements.tex
-rw-r--r-- 86 appendix-device-interface.tex
-rw-r--r-- 3664 appendix-protocol.tex
-rw-r--r-- 9419 arch.communication.tex
-rw-r--r-- 7793 arch.devices.tex
-rw-r--r-- 7904 arch.example.tex
-rw-r--r-- 13364 arch.itasks.tex
-rw-r--r-- 1128 arch.tex
-rw-r--r-- 1826 conclusion.conclusion.tex
-rw-r--r-- 7637 conclusion.discussion.tex
-rw-r--r-- 122 conclusion.tex
-rw-r--r-- 2086 edsl.class.tex
-rw-r--r-- 1957 edsl.deep.tex
-rw-r--r-- 1405 edsl.shallow.tex
-rw-r--r-- 618 edsl.tex
drwxr-xr-x - fig
-rw-r--r-- 3095 glossaries.tex
drwxr-xr-x - img
-rw-r--r-- 1636 intro.doc.tex
-rw-r--r-- 3327 intro.intro.tex
-rw-r--r-- 662 intro.problem.tex
-rw-r--r-- 2879 intro.related.tex
-rw-r--r-- 188 intro.tex
drwxr-xr-x - listings
-rw-r--r-- 1536 mtask.control.tex
-rw-r--r-- 1381 mtask.examples.tex
-rw-r--r-- 1152 mtask.expr.tex
-rw-r--r-- 3086 mtask.io.tex
-rw-r--r-- 2381 mtask.semantics.tex
-rw-r--r-- 2039 mtask.tex
-rw-r--r-- 12101 mtaskext.bytecode.tex
-rw-r--r-- 2110 mtaskext.examples.tex
-rw-r--r-- 2413 mtaskext.sdssem.tex
-rw-r--r-- 1311 mtaskext.tasksem.tex
-rw-r--r-- 810 mtaskext.tex
drwxr-xr-x - presentation
-rw-r--r-- 1327 system.edsl.tex
-rw-r--r-- 766 system.overview.tex
-rw-r--r-- 1530 system.tex
-rw-r--r-- 9116 thesis.bib
-rw-r--r-- 3370 thesis.pre
-rw-r--r-- 1950 thesis.tex
-rw-r--r-- 775 titlepage.tex
-rw-r--r-- 2669 top.combinators.tex
-rw-r--r-- 2803 top.itasks.tex
-rw-r--r-- 4559 top.sds.tex
-rw-r--r-- 130 top.tex