diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-02-21 14:00:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-02-21 14:00:34 +0000 |
| commit | 190c697a279815a5d17daecaf6978034b1881a4b (patch) | |
| tree | d4725e2fb73cbf07b24cf9f7f47344d4d72939b3 /hol-light | |
| parent | 9559c5ec2bb522e57cad697694ee6b7bbc5d588f (diff) | |
*** empty log message ***
Diffstat (limited to 'hol-light')
| -rw-r--r-- | hol-light/TODO | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/hol-light/TODO b/hol-light/TODO index bb864e1c..5f4e22be 100644 --- a/hol-light/TODO +++ b/hol-light/TODO @@ -4,3 +4,8 @@ * Prooftree: fix evar support so it works Need patch for proof tree program and (maybe) modification of output + +* PG: add patch for background startup (needs testing) + +* Integrate Tacticrecording/proof refactoring (e.g. menu option) + |