From 4cbf2383f7c0acfab6f0b3ce30c79b9203ec7702 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 1 Aug 2005 12:59:05 +0000
Subject: [PATCH] - Addition.

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

diff --git a/src/todo.txt b/src/todo.txt
index 03c0c89..a6bbd2d 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -3,4 +3,6 @@
   goal selection might ignore that goal then, for further selection.
 - Maybe it helps to fix the agents of the claim run (i.e. all different
   agents?, this restricts the attacks somewhat), make a switch for this.
-- SConstruct file should check whether ctags actually exists (avoiding errors)
+- SConstruct file should check whether ctags actually exists (avoiding
+  errors)
+- Proof output should be XML, with an external converter to dot format.