1.1 --- a/TODO.md	Wed Jul 20 11:48:38 2022 +0200
     1.2 +++ b/TODO.md	Wed Jul 20 11:56:45 2022 +0200
     1.3 @@ -5,6 +5,11 @@
     1.4      Reproducible e.g. at https://hg.risc.uni-linz.ac.at/wneuper/isa/file/9c2e1efe5cde/src/Tools/isac/Knowledge/Biegelinie.thy#l108
     1.5      The respective improvement would be the model for WN continuing ..\<open>Example\<close>. 
     1.6  
     1.7 +* ?MW?: In Outer_Syntax.command \<^command_keyword>\<open>Example\<close> is there a quick fix
     1.8 +  for successfully replacing hacked Problem.parse_cas by parse_references_input?
     1.9 +    How can Scan.* be traced?
    1.10 +    (Tracing should help understanding Problem.parse_cas, Problem.parse_model_input which involve Scan.*)
    1.11 +
    1.12  * MW: check uses of Unsynchronized.ref vs. Synchronized.var;
    1.13  
    1.14  * MW: clarify/eliminate Isabelle/Scala add-ons (presently unused)