1.1 --- a/TODO.md	Mon Apr 19 20:12:53 2021 +0200
     1.2 +++ b/TODO.md	Mon Apr 19 20:31:24 2021 +0200
     1.3 @@ -17,7 +17,6 @@
     1.4  * reconsider use of Thy_Info.get_theory: only works with batch-build, not within PIDE session;
     1.5  
     1.6  
     1.7 -* MW: clarify isac_test within theory Isac_Test.Isac_Test_Short;
     1.8  * MW: check JVM resource requirements of session Isac_Test;
     1.9  
    1.10  * MW: check uses of Unsynchronized.ref vs. Synchronized.var;