1.1 --- a/TODO.md	Thu Aug 04 12:50:19 2022 +0200
     1.2 +++ b/TODO.md	Thu Aug 04 14:18:35 2022 +0200
     1.3 @@ -17,8 +17,6 @@
     1.4      How can Scan.* be traced?
     1.5      (Tracing should help understanding Problem.parse_cas, Problem.parse_model_input which involve Scan.*)
     1.6  
     1.7 -* MW: check uses of Unsynchronized.ref vs. Synchronized.var;
     1.8 -
     1.9  * MW: clarify/eliminate Isabelle/Scala add-ons (presently unused)
    1.10  
    1.11      diff -r /home/makarius/isabelle/repos-Isabelle2021/src/Pure/build-jars ./src/Pure/build-jars