From 6a3e57913c7619900722bb01c46ab501424a42e6 Mon Sep 17 00:00:00 2001 From: ccremers Date: Fri, 1 Jul 2005 13:27:38 +0000 Subject: [PATCH] - Quick addition of Gijs' suggestions. --- src/todo.txt | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index 03c0c89..adca952 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -4,3 +4,11 @@ - Maybe it helps to fix the agents of the claim run (i.e. all different agents?, this restricts the attacks somewhat), make a switch for this. - SConstruct file should check whether ctags actually exists (avoiding errors) + +Gijs: + > Ik gebruik nu alleen wel hardcoded de naam Eve eigenlijk zouden de + > namen + > > van untrusted agents ook ergens in de XML file moeten staan. Ook + > > zou het + > > > handig zijn als de scyther command line in de XML file staat. + > > >