| Thu, 31 Aug 2023 14:59:52 +0200 | wenzelm | more portable: it really is the Cygwin $HOME not the Windows $USER_HOME; | changeset | files |
| Wed, 30 Aug 2023 17:02:40 +0200 | wenzelm | more accurate documentation of record field update, following changes in Isabelle2007 and Isabelle2008; | changeset | files |
| 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 |