diff options
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) + |