equal
deleted
inserted
replaced
334 \end{itemize} |
334 \end{itemize} |
335 \item xxx |
335 \item xxx |
336 \item xxx |
336 \item xxx |
337 \item this has been written in one go: |
337 \item this has been written in one go: |
338 \begin{itemize} |
338 \begin{itemize} |
339 \item reconsidering Model.max_vt, use problem with meth ["DiffApp","max_by_calculus"] |
339 \item reconsidering I_Model.max_vt, use problem with meth ["DiffApp","max_by_calculus"] |
340 \item reconsider add_field': where is it used for what? Shift into mk_oris |
340 \item reconsider add_field': where is it used for what? Shift into mk_oris |
341 \item reconsider match_itms_oris: where is it used for what? max_vt ONLY??? |
341 \item reconsider match_itms_oris: where is it used for what? max_vt ONLY??? |
342 \item in Specify_Method search root-oris for items (e.g. "errorBound"), #1# in survey |
342 \item in Specify_Method search root-oris for items (e.g. "errorBound"), #1# in survey |
343 \item Specify_Problem, Specify_Method: check respective identifiers after re-Specify_ |
343 \item Specify_Problem, Specify_Method: check respective identifiers after re-Specify_ |
344 (relevant for pre-condition) |
344 (relevant for pre-condition) |