equal
deleted
inserted
replaced
32 \item re-arrange Isac's bootstrap: look for "after devel.of BridgeJEdit" |
32 \item re-arrange Isac's bootstrap: look for "after devel.of BridgeJEdit" |
33 \item xxx |
33 \item xxx |
34 \item xxx |
34 \item xxx |
35 \item Input_Descript.descriptor -> Input_Descript.T |
35 \item Input_Descript.descriptor -> Input_Descript.T |
36 \item xxx |
36 \item xxx |
37 \item Step_Specify.initialisePIDE: remove hdl in return-value |
|
38 rename Step_Specify.nxt_specify_init_calc |
|
39 \item xxx |
37 \item xxx |
40 \item relate Prog_Epxr.lhs to Thm.lhs_of |
38 \item relate Prog_Epxr.lhs to Thm.lhs_of |
41 \item xxx |
39 \item xxx |
42 \item as soon as src/../parseC.sml is stable, |
40 \item as soon as src/../parseC.sml is stable, |
43 remove defs from Test_Parse_Isac.thy |
41 remove defs from Test_Parse_Isac.thy |