1.1 --- a/TODO.md Wed Jul 27 14:04:04 2022 +0200
1.2 +++ b/TODO.md Wed Jul 27 14:14:16 2022 +0200
1.3 @@ -97,8 +97,6 @@
1.4 - this proposal presumable involves hacking of parsers -- is there a better way?
1.5 - implementation and tests have solution for (a) above as a prerequisite.
1.6
1.7 -* WN: rename in Formalise: type spec = Model_Def.form_spec;
1.8 - type refs = Model_Def.form_refs;
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