1.1 --- a/TODO.md	Sun May 29 19:05:14 2022 +0200
     1.2 +++ b/TODO.md	Tue May 31 09:16:12 2022 +0200
     1.3 @@ -66,6 +66,7 @@
     1.4    val rewrite_trace = Attrib.setup_config_bool \<^binding>\<open>rewrite_trace\<close> (K false);
     1.5  \<close>
     1.6  
     1.7 -* WN: for calculation by use of Makarius' "problem" as boilerplate clarify
     1.8 -    - reasons to have some parsers local (initially parse_cas, parse_methods, ml in Outer_Syntax.command..problem)
     1.9 -    - 
    1.10 +* WN: for calculation by use of Makarius' "problem" as boilerplate clarify:
    1.11 +    - How inspect Token lists, e.g. from ML_Lex.read OR ML_Lex.read_source ?
    1.12 +    - Why the ERROR in Demo_Example.thy at: \<open>problem pbl_bieg : "Biegelinien" = ..\<close> ?
    1.13 +    - TODO: remove test code written in this changeset