1.1 --- a/src/Tools/isac/TODO.thy	Thu May 30 12:39:13 2019 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Sat Jun 01 11:09:19 2019 +0200
     1.3 @@ -13,6 +13,13 @@
     1.4  String constants have already bee introduced to old string-programs.
     1.5  Shifting this program code into partial_function reveals further issues:
     1.6  \begin{itemize}
     1.7 +\item Biegelinie.thy was already broken after isabisac15, but never noticed.
     1.8 +  Switch from script to partial_function has it broken further,
     1.9 +  mostly due to generalisation of handling of meths which extend the model of a probl.
    1.10 +  !Check if (*CURRENT*) error is due to "switch from Script to partial_function" 4035ec339062 ? 
    1.11 +                             OR ?due to "failed trial to generalise handling of meths
    1.12 +                                 which extend the model of a probl " 98298342fb6d
    1.13 +\item
    1.14  \item Diff.thy
    1.15    \begin{itemize}
    1.16    \item differentiateX --> differentiate after removal of script-constant
    1.17 @@ -68,9 +75,9 @@
    1.18    \end{itemize}
    1.19  \item \item abstract specify + nxt_specif to common aux-funs;
    1.20    see e.g. "--- hack for funpack: generalise handling of meths which extend problem items ---"
    1.21 -\item \item 
    1.22 -\item \item 
    1.23 -\item \item 
    1.24 +\item
    1.25 +\item
    1.26 +\item
    1.27    \begin{itemize}
    1.28    \item 
    1.29      \begin{itemize}