changeset 60252 | ac101ae5c751 |
parent 60250 | 18a90cd37392 |
parent 60251 | eb9be9ce654e |
child 60258 | a5eed208b22f |
1.1 --- a/TODO.md Wed Apr 21 11:24:46 2021 +0200 1.2 +++ b/TODO.md Wed Apr 21 11:47:33 2021 +0200 1.3 @@ -3,8 +3,6 @@ 1.4 - or more basic try/can combinators; 1.5 - or more direct ML of intention; 1.6 1.7 -* WN: check remaining "for tests only" wrt. \<^isac_test>CARTOUCHE; 1.8 - 1.9 * WN: purge BridgeLibisabelle: eliminate unused code; 1.10 1.11