diff options
Diffstat (limited to 'hol-light/TODO')
| -rw-r--r-- | hol-light/TODO | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hol-light/TODO b/hol-light/TODO index 5f4e22be..e1120049 100644 --- a/hol-light/TODO +++ b/hol-light/TODO @@ -7,5 +7,5 @@ * PG: add patch for background startup (needs testing) -* Integrate Tacticrecording/proof refactoring (e.g. menu option) +* Integrate Tactic recording/proof refactoring (e.g. menu option) |