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