1.1 --- a/src/Tools/isac/TODO.thy	Mon Mar 15 10:45:12 2021 +0100
     1.2 +++ b/src/Tools/isac/TODO.thy	Mon Mar 15 10:49:53 2021 +0100
     1.3 @@ -26,7 +26,8 @@
     1.4  (*/------- to  from -------\*)
     1.5  (*\------- to  from -------/*)
     1.6    \begin{itemize}
     1.7 -  \item xxx
     1.8 +  \item resume step 6.10: unsuccessful trials with combination of types on Outer_Syntax
     1.9 +    note: test in Calculation.thy is outcommented
    1.10    \item xxx
    1.11    \item re-arrange Isac's bootstrap: look for  "after devel.of BridgeJEdit"
    1.12    \item xxx