1.1 --- a/TODO.md	Tue May 24 16:47:31 2022 +0200
     1.2 +++ b/TODO.md	Thu May 26 12:44:51 2022 +0200
     1.3 @@ -59,9 +59,7 @@
     1.4      (*1*)val _ = tracing ("hd_ord (f, g)      = " ^ ((pr_ord o hd_ord) (f, g)) );
     1.5      (*2*)val _ = @{print tracing}{a = "hd_ord (f, g)      = ", z = hd_ord (f, g)}(**)
     1.6  
     1.7 -* WN: reduce the number of TermC.parse*;
     1.8 -  + 0d22a6bf1fc6 was too much for 1 changeset
     1.9 -  + first parse with ctxt in Specify (O_Model.init shall return a context,..) etc
    1.10 +* WN: first parse with ctxt in Specify (O_Model.init shall return a context,..) etc
    1.11  
    1.12  
    1.13  * WN: eliminate global flags like "trace_on", replace Unsynchronized.ref by