changeset 60496 | 5fb1fa7aad13 |
parent 60495 | 54642eaf7bba |
child 60497 | cd067c85c311 |
1.1 --- a/TODO.md Wed Jul 27 13:59:58 2022 +0200 1.2 +++ b/TODO.md Wed Jul 27 14:04:04 2022 +0200 1.3 @@ -99,8 +99,6 @@ 1.4 1.5 * WN: rename in Formalise: type spec = Model_Def.form_spec; 1.6 type refs = Model_Def.form_refs; 1.7 -* WN: rename in Know_Store: get_ptyps, add_pbls 1.8 - get_pbls, add_pbls 1.9 * WN: as soon as parsing in Outer_Syntax.command..‹Example› works, implement in Calculation 1.10 - init_ctree, update_status, check_input 1.11