From 8930a69048184d182dbf741c70a9e2ae18fa55a9 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 13 May 2004 14:59:03 +0000
Subject: [PATCH] - Idea for M_0 knowledge.

---
 src/todo.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/todo.txt b/src/todo.txt
index 451d5bd..b389c34 100644
--- 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.