1 files changed, 3 insertions, 1 deletions
diff --git a/TODO b/TODO
index f198263..126a2c1 100644
--- a/TODO
+++ b/TODO
@@ -1,4 +1,4 @@
-$Id: TODO,v 1.3 2006-01-04 02:59:22 matju Exp $
+$Id: TODO,v 1.1 2006-01-09 05:04:19 matju Exp $
 
 TODO:
  * benchmark
@@ -9,3 +9,5 @@ TODO:
  * contracts : *-rule.pd
 
  * tests for the frameworks' own components?
+
+