equal
deleted
inserted
replaced
24 subsection \<open>Current changeset\<close> |
24 subsection \<open>Current changeset\<close> |
25 text \<open> |
25 text \<open> |
26 (*/------- to from -------\*) |
26 (*/------- to from -------\*) |
27 (*\------- to from -------/*) |
27 (*\------- to from -------/*) |
28 \begin{itemize} |
28 \begin{itemize} |
|
29 \item xxx |
|
30 \item xxx |
29 \item re-arrange Isac's bootstrap: look for "after devel.of BridgeJEdit" |
31 \item re-arrange Isac's bootstrap: look for "after devel.of BridgeJEdit" |
30 \item xxx |
32 \item xxx |
31 \item xxx |
33 \item xxx |
32 \item Input_Descript.descriptor -> Input_Descript.T |
34 \item Input_Descript.descriptor -> Input_Descript.T |
33 \item xxx |
35 \item xxx |