1.1 --- a/src/Tools/isac/TODO.thy	Sun Aug 02 12:32:34 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Fri Aug 14 12:36:33 2020 +0200
     1.3 @@ -28,7 +28,9 @@
     1.4    \begin{itemize}
     1.5    \item xxx
     1.6    \item xxx
     1.7 -  \item xxx
     1.8 +  \item as soon as src/../parseC.sml is stable,
     1.9 +    remove defs from Test_Parse_Isac.thy
    1.10 +    + and shift tests from Test_Parse_Isac -> test/../parseC.sml
    1.11    \item xxx
    1.12    \item Specify.find_next_step: References.select
    1.13      cpI = ["vonBelastungZu", "Biegelinien"]: References_Def.id