equal
deleted
inserted
replaced
393 \end{itemize} |
393 \end{itemize} |
394 \item xxx |
394 \item xxx |
395 \item xxx |
395 \item xxx |
396 \item this has been written in one go: |
396 \item this has been written in one go: |
397 \begin{itemize} |
397 \begin{itemize} |
398 \item reconsidering I_Model.max_vt, use problem with meth ["DiffApp", "max_by_calculus"] |
398 \item reconsidering I_Model.max_vt, use problem with meth ["Diff_App", "max_by_calculus"] |
399 \item reconsider add_field': where is it used for what? Shift into mk_oris |
399 \item reconsider add_field': where is it used for what? Shift into mk_oris |
400 \item reconsider match_itms_oris: where is it used for what? max_vt ONLY??? |
400 \item reconsider match_itms_oris: where is it used for what? max_vt ONLY??? |
401 \item in Specify_Method search root-oris for items (e.g. "errorBound"), #1# in survey |
401 \item in Specify_Method search root-oris for items (e.g. "errorBound"), #1# in survey |
402 \item Specify_Problem, Specify_Method: check respective identifiers after re-Specify_ |
402 \item Specify_Problem, Specify_Method: check respective identifiers after re-Specify_ |
403 (relevant for pre-condition) |
403 (relevant for pre-condition) |