Fri, 12 Mar 2021 15:22:39 +0100 | Isabelle2020->21: declare "thy_load (isac_example)" to Scala, partially | file | diff | annotate |
Mon, 08 Mar 2021 09:11:09 +0100 | \----- start update Isabelle2020 --> Isabelle2021 | file | diff | annotate |
Wed, 23 Sep 2020 15:18:07 +0200 | \----- start update Isabelle2019 --> Isabelle2020 | file | diff | annotate |