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
Walther Neuper <walther.neuper@jku.at> [Mon, 08 Mar 2021 08:17:28 +0100] rev 60163
step 6.10: stop unsuccessful trials with combination of types on Outer_Syntax
note: test in Calculation.thy is outcommented
Walther Neuper <walther.neuper@jku.at> [Mon, 01 Mar 2021 16:03:06 +0100] rev 60162
step 6.9: errors on Given, RTheory due to "Model" "References" :: diag