From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 12 Jun 2014 14:03:09 +0000 (+0200)
Subject: todo update'
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=fa30464d34a500fa48e54e9a4cfc487e30d2eef0;p=sec1415.git

todo update'
---

diff --git a/todo.txt b/todo.txt
index e29adbf..9407fa9 100644
--- a/todo.txt
+++ b/todo.txt
@@ -1 +1,2 @@
 Bochten uitleggen(analysis.tex)
+Semantics(marjolein)