1 files changed, 0 insertions, 13 deletions
diff --git a/TODO b/TODO
deleted file mode 100644
index 126a2c1..0000000
--- a/TODO
+++ /dev/null
@@ -1,13 +0,0 @@
-$Id: TODO,v 1.1 2006-01-09 05:04:19 matju Exp $
-
-TODO:
- * benchmark
- * signals
- * grids
-
- * transitive, antisymmetric, predicate
- * contracts : *-rule.pd
-
- * tests for the frameworks' own components?
-
-