changeset 60494 | 3dee3ec06f54 |
parent 60493 | ba7b7a24bc3f |
child 60495 | 54642eaf7bba |
1.1 --- a/TODO.md Tue Jul 26 22:29:35 2022 +0200 1.2 +++ b/TODO.md Wed Jul 27 13:11:43 2022 +0200 1.3 @@ -101,8 +101,6 @@ 1.4 type refs = Model_Def.form_refs; 1.5 * WN: rename in Know_Store: get_ptyps, add_pbts 1.6 get_pbls, add_pbls 1.7 -* WN: rename in References_Def: select 1.8 - select_new 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