1.1 --- a/TODO.md	Sun May 29 12:17:09 2022 +0200
     1.2 +++ b/TODO.md	Sun May 29 19:00:35 2022 +0200
     1.3 @@ -65,3 +65,7 @@
     1.4  ML \<open>
     1.5    val rewrite_trace = Attrib.setup_config_bool \<^binding>\<open>rewrite_trace\<close> (K false);
     1.6  \<close>
     1.7 +
     1.8 +* WN: for calculation by use of Makarius' "problem" as boilerplate clarify
     1.9 +    - reasons to have some parsers local (initially parse_cas, parse_methods, ml in Outer_Syntax.command..problem)
    1.10 +    -