From f1fdbc36e57c6005aed913830eabe2115dabc7c5 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 23 Feb 2012 13:02:35 +0000
Subject: Allocate jobs!

---
 hol-light/TODO | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'hol-light')

diff --git a/hol-light/TODO b/hol-light/TODO
index e1120049..52fc953d 100644
--- a/hol-light/TODO
+++ b/hol-light/TODO
@@ -1,11 +1,15 @@
 * Prooftree support: fix problem with successive proofs
   (try example.ml with tree turned on, gives exn in Prooftree)
+  [da to investigate]
 
 * Prooftree: fix evar support so it works
   Need patch for proof tree program and (maybe) modification of 
   output
+  [ma to do]
 
 * PG: add patch for background startup (needs testing)
+  [da to do]
 
-* Integrate Tactic recording/proof refactoring (e.g. menu option)
+* Integrate Tactic recording/proof refactoring (e.g. menu commands)
+  [ma to do]
 
-- 
cgit v1.2.3