From f0715c030d9762884b23200128ace1d79d9ffc77 Mon Sep 17 00:00:00 2001 From: ccremers Date: Mon, 9 Jan 2006 11:56:44 +0000 Subject: [PATCH] - Stored good idea. --- src/todo.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index e9e75ff..ecc204a 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,5 @@ +- Scyther mailing list especially for students, this is where they + should report any questions, when Erik starts the course. - It is currently not well-defined to define inversekeys within a role: this requires some work at instantiation, because instantiated term couples should be added to the inverses list, and removed at