X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=marsrover%2Fdocument%2Ftodo.txt;h=9a623dd38a20321e436099b1ccaeee6864f7f99b;hb=e16db9e5dda67e0d25aff8a89f287e6fd5afdf4c;hp=b6316c81f8262ae390cca1c7d9a700183205ff27;hpb=ce13929835e8fd9536f9ff1010e711fcf1a1d00b;p=des2015.git

diff --git a/marsrover/document/todo.txt b/marsrover/document/todo.txt
index b6316c8..9a623dd 100644
--- a/marsrover/document/todo.txt
+++ b/marsrover/document/todo.txt
@@ -1,7 +1,5 @@
-		1. Requirements
-done
 		2. Robot
-done		Tools
+mart		subsumption
 			
 adit		DSL description
 adit		Code structure, what do we generate?