author | wenzelm |
Thu, 10 Jun 2021 12:53:02 +0200 | |
changeset 60292 | 55cca8852557 |
parent 60291 | 52921aa0e14a |
child 60293 | 9290407084d8 |
1.1 --- a/TODO.md Thu Jun 10 12:48:50 2021 +0200 1.2 +++ b/TODO.md Thu Jun 10 12:53:02 2021 +0200 1.3 @@ -39,6 +39,8 @@ 1.4 1.5 * Check/clarify Context.theory_name vs. Context.theory_long_name. 1.6 1.7 +* Eliminate mutable Rewrite_Ord.rew_ord' (!?); 1.8 + 1.9 1.10 * WN: remove always empty arguments in MethodC.prep_input and Problem.prep_input 1.11 (following the "TODO" comment);