| Tue, 30 Jan 2024 21:20:19 +0100 | wenzelm | proper ISABELLE_PLATFORM_FAMILY within Isabelle/Scala, in contrast to historic settings; | changeset | files |
| Tue, 30 Jan 2024 17:36:14 +0100 | wenzelm | clarified symbolic host name; | changeset | files |
| Tue, 30 Jan 2024 17:35:42 +0100 | wenzelm | allow remote_build on this host (server-arm), without conflicts of this "isabelle_self"; | changeset | files |
| Tue, 30 Jan 2024 12:48:27 +0100 | wenzelm | more robust message; | changeset | files |
| Tue, 30 Jan 2024 16:39:21 +0000 | paulson | A few more new theorems taken from AFP entries | changeset | files |
| Mon, 29 Jan 2024 21:18:11 +0100 | nipkow | merged | changeset | files |