changeset 60175 | 6799b5922e46 |
parent 60164 | 573da5c3a9f6 |
child 60176 | a199a7bd3e05 |
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