Walther Neuper <walther.neuper@jku.at> [Fri, 12 Mar 2021 15:22:39 +0100] rev 60173
Isabelle2020->21: declare "thy_load (isac_example)" to Scala, partially
would involve IntelliJ IDEA;
see https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2021-March/msg00047.html
Walther Neuper <walther.neuper@jku.at> [Fri, 12 Mar 2021 13:25:51 +0100] rev 60172
Isabelle2020->21: adapt SPARK to tests
Walther Neuper <walther.neuper@jku.at> [Fri, 12 Mar 2021 12:48:55 +0100] rev 60171
Isabelle2020->21: adapt SPARK to ParseC
Walther Neuper <walther.neuper@jku.at> [Mon, 08 Mar 2021 10:04:37 +0100] rev 60170
Isabelle2020->21: Pure and HOL build with updated thm.ML
Walther Neuper <walther.neuper@jku.at> [Mon, 08 Mar 2021 09:43:59 +0100] rev 60169
Isabelle2020->21: separate appearance of Isac from Isabelle
Walther Neuper <walther.neuper@jku.at> [Mon, 08 Mar 2021 09:40:09 +0100] rev 60168
Isabelle2020->21: notify Isabelle about Isac sessions
Walther Neuper <walther.neuper@jku.at> [Mon, 08 Mar 2021 09:35:14 +0100] rev 60167
Isabelle2020->21: define storage for installation-specific settings
Walther Neuper <walther.neuper@jku.at> [Mon, 08 Mar 2021 09:11:09 +0100] rev 60166
\----- start update Isabelle2020 --> Isabelle2021
Walther Neuper <walther.neuper@jku.at> [Mon, 08 Mar 2021 08:42:05 +0100] rev 60165
Added tag isabisac20 for changeset 573da5c3a9f6
Walther Neuper <walther.neuper@jku.at> [Mon, 08 Mar 2021 08:41:45 +0100] rev 60164
final isabisac20 on Isabelle2020