1.1 --- a/src/Tools/isac/TODO.thy	Mon May 04 16:25:14 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Mon May 04 16:47:32 2020 +0200
     1.3 @@ -23,8 +23,8 @@
     1.4  \<close>
     1.5  subsection \<open>Current changeset\<close>
     1.6  text \<open>
     1.7 -(*/------- to  from  -------\*)
     1.8 -(*\------- to  from  -------/*)
     1.9 +(*/------- to  from -------\*)
    1.10 +(*\------- to  from -------/*)
    1.11    \begin{itemize}
    1.12    \item xxx
    1.13    \item rename Tactic.Calculate -> Tactic.Evaluate