From 6516741983060bbfad8836933690c16b3ad0a745 Mon Sep 17 00:00:00 2001 From: ccremers Date: Mon, 2 Jan 2006 15:10:40 +0000 Subject: [PATCH] - More notes. --- src/todo.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index a4c7421..5c64fe4 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,6 @@ +- Add underspecified protocol support (roles missing -> warning) +- Add 'singular' keyword for roles, and think about support for + strand-space like templates. - Simple timestamps could be added by prefixing send message before the role, sending any timestamp constants out first to the intruder. These should of course be hidden in the output somehow.