.

svn path=/trunk/abstractions/pureunity/; revision=4361

1 files changed, 6 insertions, 2 deletions

diff --git a/TODO b/TODO
index 6986cdd..f198263 100644
--- a/TODO
+++ b/TODO
@@ -1,7 +1,11 @@
-$Id: TODO,v 1.2 2005-12-31 18:44:54 matju Exp $
+$Id: TODO,v 1.3 2006-01-04 02:59:22 matju Exp $
 
 TODO:
  * benchmark
  * signals
  * grids
- * norms
\ No newline at end of file
+
+ * transitive, antisymmetric, predicate
+ * contracts : *-rule.pd
+
+ * tests for the frameworks' own components?