From c330a5b7192885eb63e713dc90e81f95196b01c3 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sun, 21 Aug 2005 21:36:00 +0000
Subject: [PATCH] - Added some thoughts.

---
 src/todo.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/todo.txt b/src/todo.txt
index a6bbd2d..1962c0b 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -6,3 +6,6 @@
 - SConstruct file should check whether ctags actually exists (avoiding
   errors)
 - Proof output should be XML, with an external converter to dot format.
+- States XML output, with limiter (for explanations/analysis)
+- Internal hash over input files (maybe after parsing?) and switch
+  structure. This would make a caching mechanism much easier.