updates

[msc-thesis1617.git] / todo.txt

diff --git a/todo.txt b/todo.txt
index 2a5889a..de9b7a4 100644 (file)
--- a/todo.txt
+++ b/todo.txt
@@ -1,12 +1,7 @@
 intro: Problem statement en introductie uitwijden
-emtsk: semantics, anders noemen en voorbeelden geven in strategies
-emtsk: Voorbeeldje voor namedsds
 emtsk: examples, factorial vervangen
-devcs: iets met taken en argumenten zeggen
 devcs: waarom kunnen taken geen andere taken starten
-devcs: duidelijker zijn dat je echt geen heap nodig hebt
 iTaks: duidelijker maken wat "managing devices" betekend
-dvspc: Uitleggen hoe device spec gemaakt word
 hbexm: Voorbeeld met de heartbeat sensor
 hbexm: Instructies van de heartbeat sensor verkleinen
 concl: Uitleggen hoe/of de probleemstelling opgelost is