- Idea for M_0 knowledge.

2004-05-13 14:59:03 +00:00 · 2004-05-13 14:59:03 +00:00 · 8930a69048
commit 8930a69048
parent fc0272acfb
1 changed files with 1 additions and 0 deletions
--- a/src/todo.txt
+++ b/src/todo.txt
@ -1,3 +1,4 @@
+- Move initial intruder knowledge maybe into the title of the MSC.
 - Move time things to stderr instead of latex, does not belong in attack
  output.
 - Implement run knowledge, and use this in protocol compiler.