1.1 --- a/TODO.md	Sun Dec 31 15:13:39 2023 +0100
     1.2 +++ b/TODO.md	Mon Jan 01 11:31:16 2024 +0100
     1.3 @@ -43,6 +43,7 @@
     1.4  
     1.5  * WN: cut out Calc.state_pre, Calc.state_post; only Ctree.state shall remain
     1.6    ?or could that be reasonable also together with Isabelle/PIDE?
     1.7 +* How can "./bin/isabelle build -v -b Specify_Phase" be done within Test_Isac?
     1.8  
     1.9  
    1.10  ***** priority of WN items is top down, most urgent/simple on top