repositories / sec1415.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d5eb78d)
todo update'
authorMart Lubbers <mart@martlubbers.net>
Thu, 12 Jun 2014 14:03:09 +0000 (16:03 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 12 Jun 2014 14:03:09 +0000 (16:03 +0200)
todo.txt patch | blob | history

diff --git a/todo.txt b/todo.txt
index e29adbf..9407fa9 100644 (file)
--- a/todo.txt
+++ b/todo.txt
@@ -1 +1,2 @@
 Bochten uitleggen(analysis.tex)
+Semantics(marjolein)
1415-S2 - NWI-IBC026: Semantiek en Correctheid