diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2012-02-23 13:02:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2012-02-23 13:02:35 +0000 |
commit | f1fdbc36e57c6005aed913830eabe2115dabc7c5 (patch) | |
tree | 3573541d2d8d75b93dc097d1ba188687deea796b /hol-light | |
parent | 403aa59a2c8095b98e62fde82f116433b540064b (diff) |
Allocate jobs!
Diffstat (limited to 'hol-light')
-rw-r--r-- | hol-light/TODO | 6 |
1 files changed, 5 insertions, 1 deletions
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] |