From 190c697a279815a5d17daecaf6978034b1881a4b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 21 Feb 2012 14:00:34 +0000 Subject: *** empty log message *** --- hol-light/TODO | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'hol-light') 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) + -- cgit v1.2.3