process the rest of george's comments
authorMart Lubbers <mart@martlubbers.net>
Sun, 18 Jun 2017 07:59:55 +0000 (09:59 +0200)
committerMart Lubbers <mart@martlubbers.net>
Sun, 18 Jun 2017 07:59:55 +0000 (09:59 +0200)
commit76254fbf2941fa0b5a02ab3a98104cad56959218
tree28c14e042f5bce7ae6ce3afbfc7d214563fb7c4a
parentc7fa2f10a5c049e2ae70405630857c7873778899
process the rest of george's comments
abstract.tex
appendix-protocol.tex
conclusion.tex
introduction.tex
methods.dsl.tex
methods.mtask.tex
methods.top.tex
results.arch.tex
results.itasks.tex
results.mtask.tex