process rinus' textual comments on chp5-7
authorMart Lubbers <mart@martlubbers.net>
Thu, 29 Jun 2017 11:22:08 +0000 (13:22 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 29 Jun 2017 11:22:08 +0000 (13:22 +0200)
commit78d08778c999d9bb644b76e4c8dd1a248917429f
treea7cf76af7c58ac5d1f03f4f938656599548fa720
parent62adc41f28fb8baaa8e1a40d8806b06069d641ed
process rinus' textual comments on chp5-7
results.arch.tex
results.mtask.tex