wneuper <walther.neuper@jku.at> [Tue, 20 Apr 2021 17:10:02 +0200] rev 60244
remove de/encode for ^^^
wneuper <walther.neuper@jku.at> [Tue, 20 Apr 2021 16:58:49 +0200] rev 60243
merged
wneuper <walther.neuper@jku.at> [Tue, 20 Apr 2021 16:58:44 +0200] rev 60242
replace power ^^^ by \<up>
wenzelm [Tue, 20 Apr 2021 13:32:43 +0200] rev 60241
more TODO;
wenzelm [Mon, 19 Apr 2021 20:44:18 +0200] rev 60240
less ambitious ML_print_depth: 20 instead of 999;
thus "isabisac/bin/isabelle build -D '$ISABELLE_ISAC_TEST'" works again with default Java heap size;
wenzelm [Mon, 19 Apr 2021 20:33:04 +0200] rev 60239
obsolete;
wenzelm [Mon, 19 Apr 2021 20:31:24 +0200] rev 60238
done;
wenzelm [Mon, 19 Apr 2021 20:12:53 +0200] rev 60237
session Isac_Test works again: de0ccac9f862 removes confusion that lead to partial/breaking changes in 0ca0f9363ad3;
wenzelm [Mon, 19 Apr 2021 19:55:31 +0200] rev 60236
no \<^isac_test> guard for test material: thus the Prover IDE does not have to switch the option "isac_test";
wenzelm [Mon, 19 Apr 2021 18:05:01 +0200] rev 60235
more hints;