| Sat, 20 Jan 2024 13:42:16 +0100 | wenzelm | proper output, following 2cd23d587db9; | changeset | files |
| Sat, 20 Jan 2024 13:31:07 +0100 | wenzelm | always use patchelf on Linux: base-line is Ubuntu 18.04 where that works properly (see also e79294c4230c); | changeset | files |
| Sat, 20 Jan 2024 13:24:26 +0100 | wenzelm | clarified directories; | changeset | files |
| Sat, 20 Jan 2024 13:10:51 +0100 | wenzelm | more accurate Isabelle versions; | changeset | files |
| Sat, 20 Jan 2024 13:01:30 +0100 | wenzelm | more accurate Ubuntu versions; | changeset | files |
| Fri, 19 Jan 2024 17:14:37 +0100 | nipkow | more uses of define_time_fun | changeset | files |
| Thu, 18 Jan 2024 14:30:27 +0100 | nipkow | translation to time functions now with canonical let. | changeset | files |
| Tue, 16 Jan 2024 13:40:19 +0000 | paulson | merged | changeset | files |