1.1 --- a/src/Tools/isac/TODO.thy	Fri Apr 16 22:13:43 2021 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Fri Apr 16 22:29:23 2021 +0200
     1.3 @@ -326,7 +326,7 @@
     1.4  text \<open>
     1.5    \begin{itemize}
     1.6    \item there are comments in several signatures
     1.7 -  \item ML_file "~~/src/Tools/isac/Interpret/specification-elems.sml" can be (almost) deleted
     1.8 +  \item ML_file "$ISABELLE_ISAC/Interpret/specification-elems.sml" can be (almost) deleted
     1.9    \item src/../Frontend/: signatures missing
    1.10    \item xxx
    1.11    \end{itemize}
    1.12 @@ -337,7 +337,7 @@
    1.13    \item try to separate Isac_Knowledge from MathEngine
    1.14      common base: Knowledge_Author / ..??
    1.15    \item xxx
    1.16 -  \item  ML_file "~~/src/Tools/isac/Interpret/ctree.sml" (*shift to base in common with Interpret*)
    1.17 +  \item  ML_file "$ISABELLE_ISAC/Interpret/ctree.sml" (*shift to base in common with Interpret*)
    1.18    \item xxx
    1.19    \item xxx
    1.20    \item xxx