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