1.1 --- a/TODO.md	Sun Apr 18 23:39:25 2021 +0200
     1.2 +++ b/TODO.md	Sun Apr 18 23:40:30 2021 +0200
     1.3 @@ -17,3 +17,5 @@
     1.4      diff -r /home/makarius/isabelle/repos-Isabelle2021/src/Pure/Tools/scala_project.scala ./src/Pure/Tools/scala_project.scala
     1.5      76a77
     1.6      >       "src/Tools/isac/etc" -> Path.explode("isabelle.isac"),
     1.7 +
     1.8 +* reconsider use of Thy_Info.get_theory: only works with batch-build, not within PIDE session;