rename semantics

[msc-thesis1617.git] / todo.txt

diff --git a/todo.txt b/todo.txt
index efdb1c9..2a5889a 100644 (file)
--- a/todo.txt
+++ b/todo.txt
@@ -1,5 +1,4 @@
 intro: Problem statement en introductie uitwijden
-mtask: semantics anders noemen
 emtsk: semantics, anders noemen en voorbeelden geven in strategies
 emtsk: Voorbeeldje voor namedsds
 emtsk: examples, factorial vervangen