1.1 --- a/TODO.md	Sat Aug 14 21:40:55 2021 +0200
     1.2 +++ b/TODO.md	Tue Aug 17 14:47:12 2021 +0200
     1.3 @@ -72,3 +72,10 @@
     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 +
     1.9 +* WN: eliminate global flags like "trace_on", replace Unsynchronized.ref by
    1.10 +
    1.11 +ML \<open>
    1.12 +  val rewrite_trace = Attrib.setup_config_bool \<^binding>\<open>rewrite_trace\<close> (K false);
    1.13 +\<close>