From 5f6d41f608ba8c7db79d6987bf4876c7faea918e Mon Sep 17 00:00:00 2001
From: "N.N." <matju@users.sourceforge.net>
Date: Wed, 4 Jan 2006 02:59:22 +0000
Subject: .

svn path=/trunk/abstractions/pureunity/; revision=4361
---
 TODO | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'TODO')

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?
-- 
cgit v1.2.1