1.1 --- a/TODO.md	Tue Aug 10 09:43:07 2021 +0200
     1.2 +++ b/TODO.md	Tue Aug 10 10:27:15 2021 +0200
     1.3 @@ -78,3 +78,7 @@
     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 initiatives of MW through the whole code
     1.9 +  + e1da148725ed : \<^ML>\<open>...\<close> instead parentheses
    1.10 +  + 
    1.11 \ No newline at end of file