1.1 --- a/TODO.md	Wed Apr 21 10:09:14 2021 +0200
     1.2 +++ b/TODO.md	Wed Apr 21 11:47:30 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