# HG changeset patch
# User wenzelm
# Date 1629204432 -7200
# Node ID 39c5bbc97346e628dfb0797745da3fbef86e0afc
# Parent  a2b1598584571609ed85b44a04f6582b0c682ad0
more TODO;

diff -r a2b159858457 -r 39c5bbc97346 TODO.md
--- a/TODO.md	Sat Aug 14 21:40:55 2021 +0200
+++ b/TODO.md	Tue Aug 17 14:47:12 2021 +0200
@@ -72,3 +72,10 @@
 * WN: reduce the number of TermC.parse*;
   + 0d22a6bf1fc6 was too much for 1 changeset
   + first parse with ctxt in Specify (O_Model.init shall return a context,..) etc
+
+
+* WN: eliminate global flags like "trace_on", replace Unsynchronized.ref by
+
+ML \<open>
+  val rewrite_trace = Attrib.setup_config_bool \<^binding>\<open>rewrite_trace\<close> (K false);
+\<close>