author | Walther Neuper <walther.neuper@jku.at> |
Mon, 08 Mar 2021 08:41:45 +0100 | |
changeset 60164 | 573da5c3a9f6 |
parent 60163 | 002e3ecd3108 |
child 60165 | 15aacd3ddb41 |
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