Sun, 26 Nov 2023 21:06:43 +0000 | haftmann | sorted out lemma duplicates | changeset | files |
Sun, 26 Nov 2023 14:02:27 +0100 | wenzelm | more reactive headless server, in contrast to 15656ad28691 (when "isabelle dump" was important to export AFP content); | changeset | files |