1.1 --- a/src/Tools/isac/TODO.thy	Tue Jul 26 22:29:35 2022 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Wed Jul 27 13:11:43 2022 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4      remove defs from Test_Parse_Isac.thy
     1.5      + and shift tests from Test_Parse_Isac -> test/../parseC.sml
     1.6    \item xxx
     1.7 -  \item Specify.find_next_step: References.select
     1.8 +  \item Specify.find_next_step: References.select_input
     1.9      cpI = ["vonBelastungZu", "Biegelinien"]: References_Def.id
    1.10                                        ^^^^^  Problem.id
    1.11    \item xxx