| Wed, 30 Aug 2023 16:57:28 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 28 Aug 2023 13:00:24 +0200 | wenzelm | more robust: "hostname" command might be absent, notably on Arch Linux (and other systemd-based distributions); | changeset | files |
| Wed, 30 Aug 2023 21:34:53 +0200 | wenzelm | tuned NEWS; | changeset | files |
| Wed, 30 Aug 2023 21:18:52 +0200 | wenzelm | NEWS; | changeset | files |
| Wed, 30 Aug 2023 21:03:30 +0200 | wenzelm | update to "scalac -source 3.3" (from 3.1); | changeset | files |
| Tue, 29 Aug 2023 21:54:35 +0200 | wenzelm | proper pattern (amending ff86f10e54cd); | changeset | files |
| Tue, 29 Aug 2023 20:19:57 +0200 | wenzelm | discontinue odd AFP partitioning: let Build_Cluster / Build_Engine do the job; | changeset | files |
| Tue, 29 Aug 2023 20:14:44 +0200 | wenzelm | discontinue special treatment of AFP: "isabelle dump" has been superseded by regular "isabelle build" databases; | changeset | files |