add bits about semantics
authorMart Lubbers <mart@martlubbers.net>
Tue, 6 Jun 2017 14:14:12 +0000 (16:14 +0200)
committerMart Lubbers <mart@martlubbers.net>
Tue, 6 Jun 2017 14:14:12 +0000 (16:14 +0200)
commit0afef96572c804f8b5d7a2b0c6becf415c057496
tree3a35489bcd991d1bb5328faba71202fbf82e6543
parent4c3c9734d91c19e41eb4424944247adad214d188
add bits about semantics
results.mtask.tex