From 9f3fff18f29d250745a758d13e4c4d39f59bee9c Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Mon, 9 Jul 2012 18:42:28 +1000
Subject: Few quick logging changes, just for fun.

---
 impl/TODO.org | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'impl/TODO.org')

diff --git a/impl/TODO.org b/impl/TODO.org
index fe7acee..4d14b64 100644
--- a/impl/TODO.org
+++ b/impl/TODO.org
@@ -17,11 +17,11 @@
   - [X] debug
   - [X] trace
   - [X] info
-- [ ] Provide output [0/5]
-  - [ ] strategies
-    print the system and assignment, then the next strategy
-    print each strategy like this:
-      max(0, x, sub(y,2)) -> sub(y,2)
+- [-] Provide output [0/5]
+  - [-] strategies [1/2]
+    - [ ] print the system and assignment, then the next strategy
+    - [X] print each strategy like this:
+      max(0, x, sub(y,2)) --[2]-> sub(y,2)
   - [ ] fixpoint
     print the system we're working with, then print the resultant assignment
   - [ ] debug
-- 
cgit v1.2.3