1.1 --- a/src/Tools/isac/TODO.thy	Tue Sep 03 12:40:27 2019 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Tue Sep 03 15:24:24 2019 +0200
     1.3 @@ -160,6 +160,11 @@
     1.4  subsection \<open>Simple\<close>
     1.5  text \<open>
     1.6    \begin{itemize}
     1.7 +  \item update Isabelle2018 --> Isabelle2019
     1.8 +    There were errors: exception Size raised (line 169 of "./basis/LibrarySupport.sml")
     1.9 +    apparently introduced by previous changeset (30cd47104ad7)
    1.10 +    "lucin: reorganise theories in ProgLang"
    1.11 +  \item xxx
    1.12    \item xxx
    1.13    \item check location of files:
    1.14          test/Tools/isac/Interpret/ptyps.thy