update todo
authorMarjolein Zwerver <marjolein.zwerver@student.ru.nl>
Tue, 20 May 2014 19:13:02 +0000 (21:13 +0200)
committerMarjolein Zwerver <marjolein.zwerver@student.ru.nl>
Tue, 20 May 2014 19:13:02 +0000 (21:13 +0200)
commit9ab478516747f92e47d74cbe38c9d29acfd19c3f
treed74c8dedf9352a0d456aec201c167f7fbf43b1e4
parentdb832756eeba3f51e54e53801102544d8d5e1205
update todo
semantics.tex
todo.txt