| Thu, 15 Feb 2024 10:15:28 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 15 Feb 2024 09:53:58 +0100 | wenzelm | more robust defaults; | changeset | files |
| Thu, 15 Feb 2024 08:25:25 +0100 | desharna | merged | changeset | files |
| Wed, 14 Feb 2024 16:25:41 +0100 | desharna | added lemmas relpow_trans[trans] and relpowp_trans[trans] | changeset | files |
| Wed, 14 Feb 2024 19:03:14 +0000 | haftmann | more on disjunctive addition/subtraction | changeset | files |
| Wed, 14 Feb 2024 17:00:47 +0100 | wenzelm | merged | changeset | files |
| Wed, 14 Feb 2024 16:30:27 +0100 | wenzelm | prefer physical processors (see also 4b014e6c1dfe and 26a43785590b); | changeset | files |
| Wed, 14 Feb 2024 15:29:52 +0100 | wenzelm | more robust: avoid occasional problems reading this special file (e.g. SSH.Local or "lxcisa0"); | changeset | files |