diff options
-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] |