changeset 60535 | d5c670beaba4 |
parent 60534 | 1991c6a19e79 |
child 60536 | 5038589d3033 |
1.1 --- a/TODO.md Mon Aug 22 13:39:32 2022 +0200 1.2 +++ b/TODO.md Tue Aug 23 18:05:08 2022 +0200 1.3 @@ -62,6 +62,7 @@ 1.4 1.5 * WN: eliminate SPARK; as an example replaced by Outer_Syntax.command..problem 1.6 1.7 +* WN: polish naming in BaseDefinitions/eval-def.sml 1.8 * WN: Step_Specify.initialisePIDE: remove hdl in return-value, replace Step_Specify.nxt_specify_init_calc 1.9 ? which uses initialisePIDE !? 1.10 * WN: ? unify "no_met" with "empty_meth_id" from References.empty ?