rename semantics
[msc-thesis1617.git] / todo.txt
2017-07-08 Mart Lubbersrename semantics
2017-07-08 Mart Lubbersmore comments
2017-07-07 Mart Lubbersprocess pieter's comments