1.1 --- a/TODO.md	Sat Aug 14 16:37:31 2021 +0200
     1.2 +++ b/TODO.md	Sat Aug 14 18:13:37 2021 +0200
     1.3 @@ -62,7 +62,3 @@
     1.4  * WN: reduce the number of TermC.parse*;
     1.5    + 0d22a6bf1fc6 was too much for 1 changeset
     1.6    + first parse with ctxt in Specify (O_Model.init shall return a context,..) etc
     1.7 -
     1.8 -* WN: push suggestions of MW through the whole code
     1.9 -  + e1da148725ed : \<^ML>\<open>...\<close> instead of parentheses
    1.10 -  +