rename semantics
authorMart Lubbers <mart@martlubbers.net>
Sat, 8 Jul 2017 08:35:35 +0000 (10:35 +0200)
committerMart Lubbers <mart@martlubbers.net>
Sat, 8 Jul 2017 08:35:35 +0000 (10:35 +0200)
commit9b3d5ac89173801dffb60470b86a61390c4ab68d
tree91a238b158254210cf66d3c6f12770fbc945c2b9
parent7e2e068caf02d8eae46cddc12ed36445069e67d1
rename semantics
mtaskext.sdsstrat.tex [moved from mtaskext.sdssem.tex with 100% similarity]
mtaskext.taskstrat.tex [moved from mtaskext.tasksem.tex with 100% similarity]
mtaskext.tex