1.1 --- a/TODO.md	Sun Apr 18 22:27:43 2021 +0200
     1.2 +++ b/TODO.md	Sun Apr 18 23:37:59 2021 +0200
     1.3 @@ -1,9 +1,4 @@
     1.4 -* WN: clean up meta-comments for testing:
     1.5 -    - use \<^isac_test>CARTOUCHE for signature and structure body where actually required;
     1.6 -    - remove vacous comments;
     1.7 -
     1.8 -* WN or MW: remove eliminate xcoding-to-test.sh etc. --- option "isac_test" takes over this role
     1.9 -  (already present in $ISABELLE_ISAC_TEST/ROOT)
    1.10 +* WN: check remaining "for tests only" wrt. \<^isac_test>CARTOUCHE;
    1.11  
    1.12  * WN: eliminate "handle _ => ..." (essential for PIDE interaction):
    1.13      - either use \<^try>CARTOUCHE / \<^can>CARTOUCHE antiquotation