1.1 --- a/src/Tools/isac/TODO.thy	Mon Mar 15 10:04:17 2021 +0100
     1.2 +++ b/src/Tools/isac/TODO.thy	Mon Mar 15 10:45:12 2021 +0100
     1.3 @@ -26,6 +26,8 @@
     1.4  (*/------- to  from -------\*)
     1.5  (*\------- to  from -------/*)
     1.6    \begin{itemize}
     1.7 +  \item xxx
     1.8 +  \item xxx
     1.9    \item re-arrange Isac's bootstrap: look for  "after devel.of BridgeJEdit"
    1.10    \item xxx
    1.11    \item xxx