equal
deleted
inserted
replaced
358 |
358 |
359 \begin{itemize} |
359 \begin{itemize} |
360 \item xxx |
360 \item xxx |
361 \item can lev_on_total replace lev_on ? ..Test_Isac_Short + rename lev_on_total -> lev_on |
361 \item can lev_on_total replace lev_on ? ..Test_Isac_Short + rename lev_on_total -> lev_on |
362 \item xxx |
362 \item xxx |
363 \item Step* functions should return Calc.T instead of Specification.calcstate' |
363 \item Step* functions should return Calc.T instead of Calc.state_post |
364 \item xxx |
364 \item xxx |
365 \item states.sml: check, when "length tacis > 1" |
365 \item states.sml: check, when "length tacis > 1" |
366 \item in Test_Isac.thy there is only 1 error in Interpret/inform.sml |
366 \item in Test_Isac.thy there is only 1 error in Interpret/inform.sml |
367 \item (*WN190713 REMOVE: "creating a new node" was never implemented for more than one node?!? |
367 \item (*WN190713 REMOVE: "creating a new node" was never implemented for more than one node?!? |
368 \item xxx |
368 \item xxx |