equal
deleted
inserted
replaced
41 \item xxx |
41 \item xxx |
42 \item as soon as src/../parseC.sml is stable, |
42 \item as soon as src/../parseC.sml is stable, |
43 remove defs from Test_Parse_Isac.thy |
43 remove defs from Test_Parse_Isac.thy |
44 + and shift tests from Test_Parse_Isac -> test/../parseC.sml |
44 + and shift tests from Test_Parse_Isac -> test/../parseC.sml |
45 \item xxx |
45 \item xxx |
46 \item Specify.find_next_step: References.select |
46 \item Specify.find_next_step: References.select_input |
47 cpI = ["vonBelastungZu", "Biegelinien"]: References_Def.id |
47 cpI = ["vonBelastungZu", "Biegelinien"]: References_Def.id |
48 ^^^^^ Problem.id |
48 ^^^^^ Problem.id |
49 \item xxx |
49 \item xxx |
50 \item Calc.state_empty_post \<rightarrow> Calc.state_post_empty |
50 \item Calc.state_empty_post \<rightarrow> Calc.state_post_empty |
51 \item xxx |
51 \item xxx |